Covariant types
Authors:
C. Barry Jay
Affiliations:
-
Venue:
Theoretical Computer Science - Special issue: theoretical computer science in Australia and New Zealand
Year:
1997
Citing
0
Cited
1
Functorial ML
Journal of Functional Programming
Quantified Score
Hi-index
0.01
Visualization
Abstract