TY  - RPRT
TI  - Work Analysis with Resource-Aware Session Types
AU  - Ankush Das
AU  - Jan Hoffmann
AU  - Frank Pfenning
PY  - 2018
UR  - https://arxiv.org/abs/1712.08310
ID  - 1712.08310
ER  -