Proper Tail Recursion and Space Efficiency (1998)

Cached

Download Links

by William D. Clinger
Citations:59 - 1 self

Active Bibliography

8 Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation – Yasuhiko Minamide - 1999
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
10 Garbage Collection Based on a Linear Type System – Atsushi Igarashi, Naoki Kobayashi - 2000
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
15 The VLISP Verified PreScheme Compiler – Dino P. Oliva, John D. Ramsdell - 1995
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
Acknowledgments – unknown authors
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
2 Formalizing Resource Allocation in a Compiler – Peter Thiemann - 1998
102 Compiling with Types – Greg Morrisett - 1995
1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
Effects for Funargs – Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997
9 Hierarchical Modularity And Intermodule Optimization – Matthias Blume - 1997