BibTeX record conf/pldi/FosterFA99

download as .bib file

@inproceedings{DBLP:conf/pldi/FosterFA99,
  author    = {Jeffrey S. Foster and
               Manuel F{\"{a}}hndrich and
               Alexander Aiken},
  title     = {A Theory of Type Qualifiers},
  booktitle = {{PLDI}},
  pages     = {192--203},
  publisher = {{ACM}},
  year      = {1999}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics