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

Documents Related by Co-Citation

184 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
92 The Zinc experiment: an economical implementation of the ML language. INRIA – X Leroy - 1990
6 Hybrid Eager and Lazy Evaluation for Efficient Compilation of Haskell – J-W Maessen - 2002
12 Analysing, Transforming and Compiling Lazy Functional Programs – Karl-Filip Faxen - 1997
13 Code Optimisation Techniques for Lazy Functional Languages – U Boquist - 1999
28 A simple, lazy abstract machine to execute supercombinators – Tim - 1987
66 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
121 Efficient Compilation of Lazy Evaluation – Thomas Johnsson - 1984
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
268 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
30 Tail Recursion Without Space Leaks – Richard Jones - 1991
30 Unboxed values as first-class citizens – Peyton Jones, S, J Launchbury - 1991
189 A new implementation technique for applicative languages – D A Turner - 1979
3 Approches langages pour la conception et la mise en œuvre de programmes, Habilitation thesis, Université de Rennes 1 – P FRADET - 2000
75 Enforcing Trace Properties by Program Transformation – Thomas Colcombet, Pascal Fradet - 2000
754 publications by the team in recent years – Major
565 Term Rewriting Systems – J. W. Klop - 1992
321 λµ-calculus: an algorithmic interpretation of classic natural deduction – M Parigot - 1992
620 Compiling with Continuations – Andrew W Appel - 1992