@Inproceedings{EPTCS291.5, author = {de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim}, year = {2019}, title = {Value-Dependent Session Design in a Dependently Typed Language}, editor = {Martins, Francisco and Orchard, Dominic}, booktitle = {{\rm Proceedings} Programming Language Approaches to Concurrency- and Communication-cEntric Software, {\rm Prague, Czech Republic, 7th April 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {291}, publisher = {Open Publishing Association}, pages = {47-59}, doi = {10.4204/EPTCS.291.5}, }