Compiling Pattern Matching by Term Decomposition (1989)

Cached

Download Links

by Laurence Puel , Ascander Suarez
Citations:23 - 0 self

Active Bibliography

57 Disunification: a Survey – Hubert Comon - 1991
1 Pattern Matching in Order-Sorted Languages – Delia Kesner, Delia Kesner - 1991
11 ML pattern match compilation and partial evaluation – Peter Sestoft - 1996
22 On the Expressiveness of Purely Functional I/O Systems – Paul Hudak , Raman S. Sundaresh - 1989
86 Termination of Term Rewriting By Semantic Labelling – H. Zantema - 1995
Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher A COMPLETE CHARACTERIZATION OF PRIMITIVE RECURSIVE INTENSIONAL BEHAVIOURS – P. Valarcher
8 Compilation of non-linear, second order patterns on S-expressions – Christian Queinnec - 1990
A Glimpse at Veblen Hierarchies – n.n.
43 What's so special about Kruskal's Theorem AND THE ORDINAL Γ0? A SURVEY OF SOME RESULTS IN PROOF THEORY – Jean H. Gallier - 1991
A Framework for Lazy Parallel Evaluation of Equational Programs – R. C. Sekar, Shaunak Pawagi, I.V. Ramakrishnan
12 Fast Parallel Implementation of Lazy Languages - The EQUALS Experience – Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar - 1992
42 Programming in Equational Logic: Beyond Strong Sequentiality – R. C. Sekar, I.V. Ramakrishnan - 1993
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
10 Optimizing Pattern Matching – Fabrice Le Fessant, Luc Maranget - 2001
22 Adaptive Pattern Matching – R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan - 1992
General Terms – Luc Maranget
15 Dependently Typed Pattern Matching – Hongwei Xi - 2003
Summary of the Lecture – The Course, Hubert Comon, Where E
11 Rewrite Proofs and Computations – Jean-pierre Jouannaud - 1995