A Compiled Implementation of Strong Reduction (0)

by Benjamin Grégoire , Inria Rocquencourt , Xavier Leroy
Citations:68 - 5 self

Active Bibliography

2 The next 700 Krivine Machines – Rémi Douence, Pascal Fradet - 2003
6 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
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
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
21 From Reduction-Based to Reduction-Free Normalization – Olivier Danvy - 2004
67 Deriving a Lazy Abstract Machine – Peter Sestoft - 1997
Checking Dependent Types Using Compiled Code -- Preliminary Report – Dirk Kleeblatt
28 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
22 August) Compilation of extended recursion in call-by-value functional languages – Tom Hirschowitz, Ens Lyon, Xavier Leroy, Inria Rocquencourt, J. B. Wells - 2003
2 A verified framework for higher-order uncurrying optimizations – Z. Dargaye, et al.
11 Programming With Types – Stephanie Claudene Weirich - 2002
19 Functional Back-Ends within the Lambda-Sigma Calculus – Thérèse Hardin, Luc Maranget, Bruno Pagano - 1996
125 A concurrent, generational garbage collector for a multithreaded implementation of ML – Damien Doligez, Xavier Leroy - 1993