Compiling Lazy Pattern Matching (1992)

Cached

Download Links

by Luc Maranget
Venue:In Proc. of the 1992 conference on Lisp and Functional Programming
Citations:11 - 4 self

Active Bibliography

10 Two Techniques for Compiling Lazy Pattern Matching – Luc Maranget, Luc Maranget, Projet Para - 1994
8 When Do Match-Compilation Heuristics Matter? – Kevin Scott, Norman Ramsey - 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
10 Optimizing Pattern Matching – Fabrice Le Fessant, Luc Maranget - 2001
15 Dependently Typed Pattern Matching – Hongwei Xi - 2003
11 ML pattern match compilation and partial evaluation – Peter Sestoft - 1996
12 Fast Parallel Implementation of Lazy Languages - The EQUALS Experience – Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar - 1992
15 The Functional Strategy and Transitive Term Rewriting Systems – Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1993
5 Adaptive pattern matching on binary data – Per Gustafsson, Konstantinos Sagonas - 2004
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
Operational semantics of rewriting with priorities – Jaco Van De Pal, Communicated U. Montanari - 1996
2 Operational Semantics of Term Rewriting with Priorities – Jaco van de Pol - 1996
1 Operational Semantics of Rewriting with Priorities – Jaco van de Pol, Van De Pol - 1997
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
PROUD -- Parallel Resources On Users' Desks – Proposal For Aresearch
2 Fast Strictness Analysis Based on Demand Propagation – R. Sekar, I. V. Ramakrishnan - 1995
22 Adaptive Pattern Matching – R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan - 1992
1 Design Principles for Machine-Description Languages – Norman Ramsey, Jack W. Davidson, Mary F. Fernandez