5 citations · 6 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Generic Encodings of Constructor Rewriting Systems
Horatiu Cirstea, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order ov…
cs.LO2010★ 1 cited
A Type System for Tom
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
Extending a given language with new dedicated features is a general and quite used approach to make the programming language more adapted to problems. Being closer to the applicati…