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…