The categorical abstract machine
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compiling a functional languagePublished by Association for Computing Machinery (ACM) ,1984
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Edinburgh LCFLecture Notes in Computer Science, 1979
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972