DBLP Record 'conf/icfp/NanevskiPP03'

BibTeX

@inproceedings{DBLP:conf/icfp/NanevskiPP03,
  author    = {Aleksandar Nanevski and
               Brigitte Pientka and
               Frank Pfenning},
  title     = {A modal foundation for meta-variables},
  booktitle = {MERLIN},
  year      = {2003},
  ee        = {http://doi.acm.org/10.1145/976571.976582},
  crossref  = {DBLP:conf/icfp/2003merlin},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icfp/2003merlin,
  title     = {Eighth ACM SIGPLAN International Conference on Functional
               Programming, Workshop on Mechanized reasoning about languages
               with variable binding, MERLIN 2003, Uppsala, Sweden, August
               2003},
  booktitle = {MERLIN},
  publisher = {ACM},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}