TY  - RPRT
TI  - Value-Dependent Session Design in a Dependently Typed Language
AU  - Jan de Muijnck-Hughes
AU  - Edwin Brady
AU  - Wim Vanderbauwhede
PY  - 2019
DO  - 10.4204/eptcs.291.5
UR  - https://arxiv.org/abs/1904.01288
ID  - 1904.01288
ER  -