Travelled to:1 × Canada
1 × France
1 × Germany
1 × USA
Collaborated with:A.Suárez C.Delor ∅ M.C.F.Ferreira D.Kesner
Talks about:pattern (3) associ (3) order (2) match (2) path (2) decomposit (1) substitut (1) explicit (1) composit (1) problem (1)
Person: Laurence Puel
DBLP: Puel:Laurence
Contributed to:
1996
1993
19901989
1993Wrote 5 papers:
- ALP-1996-FerreiraKP #composition #normalisation #λ-calculus
- λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.
- RTA-1993-DelorP #commutative #order
- Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols (CD, LP), pp. 389–404.
- LFP-1990-PuelS #compilation #composition #pattern matching
- Compiling Pattern Matching by Term Decomposition (LP, AS), pp. 273–281.
- RTA-1989-Puel #order #recursion
- Embedding with Patterns and Associated Recursive Path Ordering (LP), pp. 371–387.
- TAPSOFT-1993-PuelS #pattern matching #problem
- Optimal Solutions to Pattern Matching Problems (LP, AS), pp. 501–518.