Pierre-Etienne Moreau

Identifiers

• name variant Pierre-Etienne Moreau 0.60 · backfill

Papers (3)

1. Generic Encodings of Constructor Rewriting Systems cs.LO · 2019 · author #2
2. Faithful (meta-)encodings of programmable strategies into term rewriting systems cs.PL · 2017 · author #3
3. A Type System for Tom cs.LO · 2010 · author #2

Mentions

• 1003.4799 #2 · backfill · confidence 0.70 Pierre-Etienne Moreau

Frequent Coauthors

• Horatiu Cirstea 2 shared papers
• Claude Kirchner 1 shared papers
• Cl\'audia Tavares 1 shared papers
• Serguei Lenglet 1 shared papers