TY  - RPRT
TI  - Stateful Behavioral Types for ABS
AU  - Eduard Kamburjan
AU  - Tzu-Chun Chen
PY  - 2018
UR  - https://arxiv.org/abs/1802.08492
ID  - 1802.08492
ER  -