ML pattern match compilation and partial evaluation (1996)

by Peter Sestoft
Citations:11 - 1 self

Active Bibliography

15 Dependently Typed Pattern Matching – Hongwei Xi - 2003
8 When Do Match-Compilation Heuristics Matter? – Kevin Scott, Norman Ramsey - 2000
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
10 Two Techniques for Compiling Lazy Pattern Matching – Luc Maranget, Luc Maranget, Projet Para - 1994
22 Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC – Morten Heine Sørensen, Robert Glück, Neil D. Jones - 1994
10 Optimizing Pattern Matching – Fabrice Le Fessant, Luc Maranget - 2001
20 Generating a Compiler for a Lazy Language by Partial Evaluation – Jesper Jørgensen - 1992
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
11 Compiling Lazy Pattern Matching – Luc Maranget - 1992
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
22 Adaptive Pattern Matching – R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan - 1992
1 Jones Optimality, Binding-Time Improvements, and the Strength of Program Specializers – Robert Glück, Robert Gl Uck
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop – Flemming Nielson, (Ed.) - 1993
1 A Self-Applicable Partial Evaluator for ASM – Vladimir O. Di Iorio, Roberto S. Bigonha, Marcelo A. Maia - 2000
1 An ASM Implementation of a Self-Applicable Partial Evaluator – Vladimir O. Di Iorio, Roberto S. Bigonha, Belo Horizonte, Minas Gerais Brazil - 2000
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997