@misc{indiciae1c9e14808e81,
  title = {Value-Dependent Session Design in a Dependently Typed Language},
  author = {Jan de Muijnck-Hughes and Edwin Brady and Wim Vanderbauwhede},
  year = {2019},
  doi = {10.4204/eptcs.291.5},
  url = {https://arxiv.org/abs/1904.01288},
  note = {Source identifier: 1904.01288}
}