@inproceedings{Da1996a,
   author = {Olivier Danvy},
   title = {Type-directed partial evaluation},
   booktitle = {Proceedings of the Symposium on Principles of programming languages},
   pages = {242--257},
   address = {New York, NY, USA},
   publisher = {ACM},
   year = {1996},
   category = {conference},
   format = {pdf},
   location = {file},
}