Researcher identifiers

Number of documents

1

Claude Kirchner


"Cláudia Tavares"   

Conference papers1 document

  • Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares. A Type System for Tom. Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩. ⟨inria-00426439v2⟩