Rhiger99'

BibTeX

@inproceedings{DBLP:conf/pepm/Rhiger99,
  author    = {Morten Rhiger},
  title     = {Deriving a Statically Typed Type-Directed Partial Evaluator},
  booktitle = {PEPM},
  year      = {1999},
  pages     = {25-29},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}