A Type System for Tom

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 application, this leads to less programming flaws and easier maintenance. But of course one would still like to perform program a...

Full description

Bibliographic Details
Main Authors: Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
Format: Article
Language:English
Published: Open Publishing Association 2010-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1003.4799v1