Compilation by Transformation in Non-Strict Functional Languages (1995)

Cached

Download Links

by André L. de M. Santos
Citations:32 - 1 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
15 Sharing of Computations – Torben Amtoft - 1993
Lambda-dropping: transforming recursive equations – Olivier Danvy A, Ulrik P. Schultz B
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
17 Compilation of Functional Languages Using Flow Graph Analysis – Pieter H. Hartel, Hugh Glaser, John M. Wild - 1994
6 Compiling Lazy Functional Programs to Java Bytecode – Gary Meehan, Mike Joy - 1998
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
2 Demonstrating lambda calculus reduction – Peter Sestoft - 2002
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
20 A Supercompiler for Core Haskell – Neil Mitchell, Colin Runciman
1 Supero: Making Haskell faster – Neil Mitchell, Colin Runciman - 2007
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
Experience with a Clustered Parallel Reduction Machine – M. Beemster, P. H. Hartel, L. O. Hertzberger, R. F. H. Hofman, K. G. Langendoen, L. L. Li, R. Milikowski, W. G. Vree, H. P. Barendregt, J. C. Mulder - 1993