BibTeX record conf/popl/AppelMRV07

download as .bib file

@inproceedings{DBLP:conf/popl/AppelMRV07,
  author    = {Andrew W. Appel and
               Paul{-}Andr{\'{e}} Melli{\`{e}}s and
               Christopher D. Richards and
               J{\'{e}}r{\^{o}}me Vouillon},
  title     = {A very modal model of a modern, major, general type system},
  booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  pages     = {109--122},
  year      = {2007},
  crossref  = {DBLP:conf/popl/2007},
  url       = {https://doi.org/10.1145/1190216.1190235},
  doi       = {10.1145/1190216.1190235},
  timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/AppelMRV07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2007,
  editor    = {Martin Hofmann and
               Matthias Felleisen},
  title     = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1190216},
  doi       = {10.1145/1190216},
  isbn      = {1-59593-575-4},
  timestamp = {Thu, 28 Oct 2021 07:06:04 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2007.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics