Compiling Pattern Matching by Term Decomposition (1989)

Cached

Download Links

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

Documents Related by Co-Citation

82 Compiling pattern matching – L Augustsson - 1985
11 Implementation of lazy pattern matching algorithms – Alain Laville - 1988
35 Call by need computations in non-ambiguous linear term rewriting systems – G Huet, J-J Lévy - 1979
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
39 Efficient compilation of pattern-matching – P Wadler - 1987
20 Call-by-need computations in nonambiguous linear term rewriting systems – G Huet, J J Levy - 1979
12 Comparison of priority rules in pattern matching and term rewriting – A Laville - 1991
92 The Zinc experiment: an economical implementation of the ML language. INRIA – X Leroy - 1990
80 Equational Logic as a Programming Language – M J O’Donnell - 1985
752 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
40 An experimental applicative language – R BURSTALL, D MACQUEEN, D Hope SANNELLA - 1980
22 Adaptive Pattern Matching – R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan - 1992
87 A compiler for lazy ML – L Augustsson - 1984
11 Compiling Lazy Pattern Matching – Luc Maranget - 1992
16 The specificity rule for lazy pattern-matching in ambiguous term rewrite systems – J R Kennaway - 1990
12 GAML: a Parallel Implementation of Lazy ML – Luc Maranget - 1991
45 The definition of Standard ML – R Harper, R Milner, M Tofte - 1990
102 98: A non-strict, purely functional language. http://www.haskell.org – Simon L Peyton Jones, John Hughes - 1999
537 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987