Active Bibliography

10 Two Techniques for Compiling Lazy Pattern Matching – Luc Maranget, Luc Maranget, Projet Para - 1994
11 Compiling Lazy Pattern Matching – Luc Maranget - 1992
10 Optimizing Pattern Matching – Fabrice Le Fessant, Luc Maranget - 2001
15 Dependently Typed Pattern Matching – Hongwei Xi - 2003
1 Design Principles for Machine-Description Languages – Norman Ramsey, Jack W. Davidson, Mary F. Fernandez
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
22 Adaptive Pattern Matching – R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan - 1992
Open Pattern Matching for C++ – Yuriy Solodkyy, Gabriel Dos, Reis Bjarne Stroustrup
11 ML pattern match compilation and partial evaluation – Peter Sestoft - 1996
7 Explaining Polymorphic Types – Yang Jun, Greg Michaelson, Phil Trinder - 2002
2 Optimizing pattern matching compilation by program transformation – Emilie Balland, Pierre-Etienne Moreau
5 Adaptive pattern matching on binary data – Per Gustafsson, Konstantinos Sagonas - 2004
3 DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications – Mikael Pettersson, Peter Fritzson - 1992
2 Fast Strictness Analysis Based on Demand Propagation – R. Sekar, I. V. Ramakrishnan - 1995
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
A Comparison of Program Transformation Systems – Michael Dever, G. W. Hamilton