Three approaches to type structure

This publication has 18 references indexed in Scilit:

• The Type Theory of PL/CV3
  ACM Transactions on Programming Languages and Systems, 1984
• A semantic model of types for applicative languages
  1982
• Using category theory to design implicit conversions and generic operators
  Lecture Notes in Computer Science, 1980
• A new type assignment for λ-terms
  Archive for Mathematical Logic, 1978
• A theory of type polymorphism in programming
  Journal of Computer and System Sciences, 1978
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• A lazy evaluator
  1976
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• Recursive functions of symbolic expressions and their computation by machine, Part I
  Communications of the ACM, 1960