Three approaches to type structure
- 1 January 1985
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The Type Theory of PL/CV3ACM Transactions on Programming Languages and Systems, 1984
- A semantic model of types for applicative languagesPublished by Association for Computing Machinery (ACM) ,1982
- Using category theory to design implicit conversions and generic operatorsLecture Notes in Computer Science, 1980
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- A new type assignment for λ-termsArchive for Mathematical Logic, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960