BibTeX record conf/tldi/DagandKK09

download as .bib file

@inproceedings{DBLP:conf/tldi/DagandKK09,
  author    = {Pierre{-}{\'{E}}variste Dagand and
               Dejan Kostic and
               Viktor Kuncak},
  title     = {Opis: reliable distributed systems in OCaml},
  booktitle = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
               on Types in Languages Design and Implementation, Savannah, GA, USA,
               January 24, 2009},
  pages     = {65--78},
  year      = {2009},
  crossref  = {DBLP:conf/tldi/2009},
  url       = {https://doi.org/10.1145/1481861.1481870},
  doi       = {10.1145/1481861.1481870},
  timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/DagandKK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2009,
  editor    = {Andrew Kennedy and
               Amal Ahmed},
  title     = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
               on Types in Languages Design and Implementation, Savannah, GA, USA,
               January 24, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1481861},
  isbn      = {978-1-60558-420-1},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier