Polymorphic binding-time analysis
Authors:
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 287-301
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A tour of Schism1993
- Polyvariant binding-time analysis for applicative languages1993
- Extracting polyvariant binding time analysis from polyvariant specializer1993
- Partial evaluation of general parsers1993
- A self-applicable partial evaluator for the lambda calculusACM Transactions on Programming Languages and Systems, 1992
- Generating a compiler for a lazy language by partial evaluation1992
- Binding time analysis1991
- Binding time analysis for polymorphically typed higher order languagesLecture Notes in Computer Science, 1989
- Automatic binding time analysis for a typed λ-calculusScience of Computer Programming, 1988
- Polymorphic type schemes and recursive definitions1984