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
2 Fast Strictness Analysis Based on Demand Propagation – R. Sekar, I. V. Ramakrishnan - 1995
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
3 DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications – Mikael Pettersson, Peter Fritzson - 1992
94 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995