MichaylovP91'

BibTeX

@inproceedings{DBLP:conf/pepm/MichaylovP91,
  author    = {Spiro Michaylov and
               Frank Pfenning},
  title     = {Compiling the Polymorphic Lambda-Calculus},
  booktitle = {PEPM},
  year      = {1991},
  pages     = {285-296},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}