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 = {{POPL}},
  pages     = {109--122},
  publisher = {{ACM}},
  year      = {2007}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics