Standard ML of New Jersey
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- Typing first-class continuations in MLPublished by Association for Computing Machinery (ACM) ,1991
- An abstract interpretation for ML equality kindsLecture Notes in Computer Science, 1991
- A runtime systemHigher-Order and Symbolic Computation, 1990
- Runtime tags aren't necessaryHigher-Order and Symbolic Computation, 1989
- Simple generational garbage collection and fast allocationSoftware: Practice and Experience, 1989
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- A standard ML compilerLecture Notes in Computer Science, 1987
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964