DBLP Record 'conf/pepm/DanvyMP94'

BibTeX

@inproceedings{DBLP:conf/pepm/DanvyMP94,
  author    = {Olivier Danvy and
               Karoline Malmkj{\ae}r and
               Jens Palsberg},
  title     = {The Essence of Eta-Expansion in Partial Evaluation},
  booktitle = {PEPM},
  year      = {1994},
  pages     = {11-20},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}