Optimizing structural recursion in functional programs
References (19)
- et al.
Attribute grammars and recursive program schemes
Theoretical Comput. Sci.
(1982)et al.Attribute grammars and recursive program schemes
Theoretical Comput. Sci.
(1982) - et al.
Macro tree transducers
J. Comput. Syst. Sci.
(1985) Bottom-up computation of primitive recursive tree functions
Higher-order functions considered unnecessary for higher-order programming
Ein algebraischer Ansatz zur Rekursionselimination. Habilitationsschrift
(1988)- et al.
Efficient implementation of an algebraic specification language
- et al.
A metalanguage for interactive proofs in LCF
The functional abstract machine
Fundamental Algorithms, Vol. 1 of The Art of Computer Programming
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1993 Published by Elsevier Ltd.