@Inproceedings{EPTCS231.1,
  author    = {Bottoni, Paolo and Fish, Andrew and Parisi Presicce, Francesco},
  year      = {2016},
  title     = {Type Annotation for Adaptive Systems},
  editor    = {Heu{\ss}ner, Alexander and Kissinger, Aleks and Wijs, Anton},
  booktitle = {{\rm Proceedings Second}
               Graphs as Models Workshop,
               {\rm Eindhoven, The Netherlands, April 2-3, 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {231},
  publisher = {Open Publishing Association},
  pages     = {1-15},
  doi       = {10.4204/EPTCS.231.1},
}