Laurence Puel

Publication Activity (10 Years)

Years Active: 1984-1999
Publications (10 Years): 0

Publications

Maria C. F. Ferreira, Delia Kesner, Laurence Puel
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Appl. Algebra Eng. Commun. Comput. 9 (4) (1999)
Maria C. F. Ferreira, Delia Kesner, Laurence Puel
Reducing AC-Termination to Termination. MFCS (1998)
Maria C. F. Ferreira, Delia Kesner, Laurence Puel
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. ALP (1996)
Delia Kesner, Laurence Puel, Val Tannen
A Typed Pattern Calculus. Inf. Comput. 124 (1) (1996)
Laurence Puel, Ascánder Suárez
Compiling Pattern Matching by Term Decomposition. J. Symb. Comput. 15 (1) (1993)
Laurence Puel, Ascánder Suárez
Optimal Solutions to Pattern Matching Problems. TAPSOFT (1993)
Val Tannen, Delia Kesner, Laurence Puel
A Typed Pattern Calculus LICS (1993)
Catherine Delor, Laurence Puel
Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols. RTA (1993)
Laurence Puel, Ascánder Suárez
Compiling Pattern Matching by Term Decomposition. LISP and Functional Programming (1990)
Laurence Puel
Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. J. Symb. Comput. 8 (4) (1989)
Laurence Puel
Embedding with Patterns and Associated Recursive Path Ordering. RTA (1989)
Laurence Puel
Proofs in the Final Algebra. CAAP (1984)