Two Techniques for Compiling Lazy Pattern Matching (1994)

by Luc Maranget , Luc Maranget , Projet Para
Citations:10 - 1 self

Active Bibliography

11 Compiling Lazy Pattern Matching – Luc Maranget - 1992
8 When Do Match-Compilation Heuristics Matter? – Kevin Scott, Norman Ramsey - 2000
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
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
15 Dependently Typed Pattern Matching – Hongwei Xi - 2003
11 ML pattern match compilation and partial evaluation – Peter Sestoft - 1996
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
10 Optimizing Pattern Matching – Fabrice Le Fessant, Luc Maranget - 2001
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
34 Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. – Luc Maranget - 1991
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
General Terms – Luc Maranget
1 Design Principles for Machine-Description Languages – Norman Ramsey, Jack W. Davidson, Mary F. Fernandez
15 The Functional Strategy and Transitive Term Rewriting Systems – Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1993
Open Pattern Matching for C++ – Yuriy Solodkyy, Gabriel Dos, Reis Bjarne Stroustrup
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
2 Stable and Sequential Functions on Scott Domains – Stephen Brookes, Shai Geva - 1992
Curry An Integrated Functional Logic Language Version 0.8.1 – Michael Hanus [editor, Sergio Antoy, Herbert Kuchen, Francisco J. López-fraguas, Wolfgang Lux, Juan José, Moreno Navarro, Frank Steiner - 2003
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997