A simple library implementation of binary sessions

Luca Padovani. A simple library implementation of binary sessions. Journal of Functional Programming, 27, 2017. [doi]

@article{Padovani17,
  title = {A simple library implementation of binary sessions},
  author = {Luca Padovani},
  year = {2017},
  doi = {10.1017/S0956796816000289},
  url = {http://dx.doi.org/10.1017/S0956796816000289},
  researchr = {https://researchr.org/publication/Padovani17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {27},
}