A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)

Authors:
John C. Mitchell
Affiliations:
-
Venue:
Logical foundations of functional programming
Year:
1990

Citing 0
Cited 2

On the type structure of standard ML

ACM Transactions on Programming Languages and Systems (TOPLAS)
Reductions, intersection types, and explicit substitutions

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract