BibTeX record conf/icfp/BiermanGHL10

download as .bib file

@inproceedings{DBLP:conf/icfp/BiermanGHL10,
  author    = {Gavin M. Bierman and
               Andrew D. Gordon and
               Catalin Hritcu and
               David E. Langworthy},
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Semantic subtyping with an {SMT} solver},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {105--116},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1863543.1863560},
  doi       = {10.1145/1863543.1863560},
  timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/BiermanGHL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics