On the type structure of standard ML

This publication has 22 references indexed in Scilit:

• A category-theoretic account of program modules
  Mathematical Structures in Computer Science, 1991
• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• Polymorphic type inference and containment
  Information and Computation, 1988
• A semantics of multiple inheritance
  Information and Computation, 1988
• The calculus of constructions
  Information and Computation, 1988
• Categorical semantics for higher order polymorphic lambda calculus
  The Journal of Symbolic Logic, 1987
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Locally cartesian closed categories and type theory
  Mathematical Proceedings of the Cambridge Philosophical Society, 1984
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975