14 citations · 15 across the 2 of their papers we have counts for
2 papers
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…
cs.GT2010★ 14 cited
Extensional and Intensional Strategies
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty +1
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a str…