BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Puel:Laurence

Contributed to:

ALP 19961996
RTA 19931993
LFP 19901990
RTA 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.