Types, abstraction, and parametric polymorphism, part 2

This publication has 20 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• On the type structure of standard ML
  ACM Transactions on Programming Languages and Systems, 1993
• Domain theoretic models of polymorphism
  Information and Computation, 1989
• Categorical semantics for higher order polymorphic lambda calculus
  The Journal of Symbolic Logic, 1987
• The system F of variable types, fifteen years later
  Theoretical Computer Science, 1986
• Logical relations and the typed λ-calculus
  Information and Control, 1985
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974
• Some algebraic problems in the context of functorial semantics of algebraic theories
  Published by Springer Nature ,1968
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963