1. Conservative extension in structural operational semantics;Aceto;Bulletin of the European Association for Theoretical Computer Science,1999
2. Compiling TYPOL with Attribute Grammars;Attali,1989
3. T. Despeyroux. TYPOL: A formalism to implement natural semantics. Technical report 94, INRIA, March 1988
4. A rule-based language for programming software updates;Erwig,2002
5. Monadification of functional programs;Erwig;Science of Computer Programming,2004