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:7 - 3 self

Active Bibliography

9 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
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
2 The Next 700 Krivine Machines – Rémi Douence, Pascal Fradet - 2005
1The Next 700 Krivine Machines – Rémi Douence, Pascal Fradet
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993