TY  - RPRT
TI  - Type Annotation for Adaptive Systems
AU  - Paolo Bottoni
AU  - Andrew Fish
AU  - Francesco Parisi Presicce
PY  - 2016
DO  - 10.4204/eptcs.231.1
UR  - https://arxiv.org/abs/1612.01637
ID  - 1612.01637
ER  -