BibTeX record conf/padl/NeubauerT04

download as .bib file

@inproceedings{DBLP:conf/padl/NeubauerT04,
  author    = {Matthias Neubauer and
               Peter Thiemann},
  editor    = {Bharat Jayaraman},
  title     = {An Implementation of Session Types},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
               {PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3057},
  pages     = {56--70},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24836-1\_5},
  doi       = {10.1007/978-3-540-24836-1\_5},
  timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl    = {https://dblp.org/rec/conf/padl/NeubauerT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics