Three approaches to type structure

This publication has 18 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• The Type Theory of PL/CV3
  ACM Transactions on Programming Languages and Systems, 1984
• A semantic model of types for applicative languages
  Published by Association for Computing Machinery (ACM) ,1982
• Using category theory to design implicit conversions and generic operators
  Published by Springer Nature ,1980
• A new type assignment for λ-terms
  Archive for Mathematical Logic, 1978
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• A lazy evaluator
  Published by Association for Computing Machinery (ACM) ,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