Possibilities and limitations of call-by-need space improvement (2001)

Cached

Download Links

by Jörgen Gustavsson
Venue:In Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming
Citations:6 - 0 self

Active Bibliography

19 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999
41 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
Possibilities and Limitations of Call-by-Need SpaceImprovement \Lambda – Swww. Cs. Chalmers. Se/~dave
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
21 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
298 The Oz Programming Model – Gert Smolka - 1995
33 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
14 A Usage Analysis With Bounded Usage Polymorphism and Subtyping – Jörgen Gustavsson, Josef Svenningsson - 2000