Types in lambda calculi and programming languages

This publication has 18 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Elementary data structures in ALGOL-like languages
  Science of Computer Programming, 1989
• The calculus of constructions
  Information and Computation, 1988
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974
• Report on the Algorithmic Language ALGOL 68
  Numerische Mathematik, 1969
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940
• Functionality in Combinatory Logic
  Proceedings of the National Academy of Sciences, 1934