Active Bibliography

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