TY  - RPRT
TI  - Session Types Go Dynamic or How to Verify Your Python Conversations
AU  - Rumyana Neykova
PY  - 2013
DO  - 10.4204/eptcs.137.8
UR  - https://arxiv.org/abs/1312.2704
ID  - 1312.2704
ER  -