@Inproceedings{EPTCS21.5,
  author    = {Kirchner, Claude and Moreau, Pierre-Etienne and Tavares, Cl\'audia},
  year      = {2010},
  title     = {A Type System for Tom},
  editor    = {Mackie, Ian and Martins Moreira, Anamaria},
  booktitle = {{\rm Proceedings Tenth International Workshop on}
               Rule-Based Programming,
               {\rm Brasília, Brazil
, 28th June 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {21},
  publisher = {Open Publishing Association},
  pages     = {51-63},
  doi       = {10.4204/EPTCS.21.5},
}