Unboxed values as first class citizens in a non-strict functional language (1991)

Cached

Download Links

by Simon L Peyton Jones , John Launchbury
Venue:Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Citations:105 - 15 self

Active Bibliography

187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
55 Compiling Haskell by program transformation: a report from the trenches – Simon L. Peyton Jones - 1996
84 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, André L M Santos - 1998
54 Let-Floating: Moving Bindings to Give Faster Programs – Simon Peyton Jones, Will Partain, et al. - 1997
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Efficient Compilation of Functional Languages by Program Transformation – André Santos - 1997
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
456 Comprehending Monads – Philip Wadler - 1992
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
1 A Calculus for Boxing Analysis of Polymorphically Typed Languages – Jesper Jørgensen - 1996
D.Phil. Thesis Proposal – Tim Owen - 1999
1 A Portable Standard ML Implementation – Martin Elsman, Martin Elsman, I Mini Ml - 1994
2 Formalizing Resource Allocation in a Compiler – Peter Thiemann - 1998
22 Callee-save Registers in Continuation-passing Style – Andrew W. Appel, Zhong Shao - 1992
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996