Efficient Interpretation by Transforming Data Types and Patterns to Functions (2007)

Cached

Download Links

by Jan Martin Jansen , Pieter Koopman , Rinus Plasmeijer
Venue:In Trends in Functional Programming, volume 7. Intellect
Citations:11 - 4 self

Active Bibliography

32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
1 A Staging Calculus and its Application to the Verification of Translators – Robert Muller - 1993
1 Phase distinctions in the compilation of Epigram – James Mckinna, Edwin Brady - 2005
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999
78 Higher-order narrowing with definitional trees – Michael Hanus, Christian Prehofer - 1996
2 Demonstrating lambda calculus reduction – Peter Sestoft - 2002
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
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
2 Typed Self-Interpretation by Pattern Matching – Barry Jay, Jens Palsberg
Translation Of Pattern Matching In A Java-Like Language – Burak Emir Epf
From Interpretation to Compilation – Rinus Plasmeijer
15 A Conflict Between Call-by-Need Computation and Parallelism – Richard Kennaway - 1994
Step inside the GHCi debugger 5 – Matthew Naylor, Bernie Pope, Bernie Pope, Matthew Naylor - 2008
Jean-Louis Krivine LAMBDA-CALCULUS TYPES AND MODELS Translated from french – unknown authors
Jean-Louis Krivine LAMBDA-CALCULUS TYPES AND MODELS Translated from french – unknown authors
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001