|
10
|
Two Techniques for Compiling Lazy Pattern Matching
– Luc Maranget, Luc Maranget, Projet Para
- 1994
|
|
7
|
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
|
|
8
|
Optimizing Pattern Matching
– Fabrice Le Fessant, Luc Maranget
- 2001
|
|
15
|
Dependently Typed Pattern Matching
– Hongwei Xi
- 2003
|
|
10
|
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
|
|
4
|
Adaptive pattern matching on binary data
– Per Gustafsson, Konstantinos Sagonas
- 2004
|
|
4
|
Some Practical Aspects of Dependent Datatypes
– Hongwei Xi
|
|
|
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
|
|
20
|
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
|
|
1
|
Free Sequentiality in Orthogonal Order-Sorted Rewriting Systems with Constructors
– Delia Kesner
- 1992
|
