BibTeX record conf/icfp/Simonet03

download as .bib file

@inproceedings{DBLP:conf/icfp/Simonet03,
  author       = {Vincent Simonet},
  editor       = {Colin Runciman and
                  Olin Shivers},
  title        = {An extension of {HM(X)} with bounded existential and universal data-types},
  booktitle    = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
                  2003},
  pages        = {39--50},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/944705.944710},
  doi          = {10.1145/944705.944710},
  timestamp    = {Sat, 26 Jun 2021 13:59:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Simonet03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}