BibTeX

@inproceedings{DBLP:journals/corr/abs-1110-4163,
  author       = {Keigo Imai and
                  Shoji Yuen and
                  Kiyoshi Agusa},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Session Type Inference in Haskell},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {74--91},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.6},
  doi          = {10.4204/EPTCS.69.6},
  timestamp    = {Sun, 15 Jan 2023 14:37:53 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4163.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}