Accéder directement au contenu

Claude Kirchner

1
Documents
Identifiants chercheurs

Présentation

Publications

835381
Image document

A Type System for Tom

Claude Kirchner , Pierre-Etienne Moreau , Cláudia Tavares
Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
Communication dans un congrès inria-00426439v2