A Systematic Study of Functional Language Implementations (1998)

Cached

Download Links

by Rémi Douence , Pascal Fradet
Venue:ACM Transactions on Programming Languages and Systems
Citations:6 - 2 self

Active Bibliography

10 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
Author manuscript, published in "N/P" 1 The Next 700 Krivine Machines – Rémi Douence, Pascal Fradet - 2005
2 The next 700 Krivine Machines – Rémi Douence, Pascal Fradet - 2003
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
2 A verified framework for higher-order uncurrying optimizations – Z. Dargaye, et al.
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
5 Explicit Substitutions and Programming Languages – Jean-jacques Lévy, Luc Maranget - 1999
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
20 Functional Back-Ends within the Lambda-Sigma Calculus – Thérèse Hardin, Luc Maranget, Bruno Pagano - 1996
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
3 Implementing the Charity Abstract Machine – Dale Barry Yee, C Fl Dale Barry Yee, Dr. K. Loose, Dr. C. Laflamme - 1995
Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997