Shrinking lambda expressions in linear time

Journal of Functional Programming

Volumn 7, Issue 5, 1997, Pages 515-540

  Appel, Andrew W ^a   Jim, Trevor ^b  

^a PRINCETON UNIVERSITY   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031321492     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796897002839     Document Type: Article

References (11)

1. Appel, A. W. (1992) Compiling with Continuations. Cambridge University Press.
2. Appel, A. W. and Jim, T. (1989) Continuation-passing, closure-passing style. In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pp. 293-302.
3. Appel, A. W. and Jim, T. (1994) Making lambda-calculus smaller, faster. Tech. rept. CS-TR-477-94, Princeton University.
4. Barendregt, H. (1984) The lambda calculus: its syntax and semantics (revised edition). Studies in Logic and the Foundation of Mathematics 103. North-Holland.
5. Flanagan, C., Sabry, A., Duba, B. F. and Felleisen, M. (1993) The essence of compiling with continuations. In: Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, pp. 237-247.
6. Kranz, D. (1987) ORBIT: An optimizing compiler for Scheme. PhD thesis, Yale University, New Haven, CT.
7. Peyton Jones, S. L. (1992) Implementing lazy functinal languages on stock hardware: the Spineless Tagless G-machine. J. Functional Programming, 2: 126-202.
8. Santos, A. L. (1995) Compilation by transformation in non-strict functional languages. PhD thesis, University of Glasgow, Scotland.
9. Shao, Z. and Appel, A. W. (1994) Space-efficient closure representations. In: Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, pp. 150-161.
10. Steele, G. L. (1978) RABBIT: A compiler for SCHEME. Tech. rept. AI-TR-474, Artificial Intelligence Laboratory, MIT.
11. Tarditi, D. (1997) Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML. PhD thesis, CMV-CS-97-108, Carnegie-Mellon University, Pittsburgh, PA.