@InProceedings{LORIA-1996-Bec-ESOP,
 author       = {Denis B\'echet},
 title        = {Removing Value Encoding using Alternative Values in Partial
                 Evaluation of Strongly-Typed Languages},
 booktitle    = {Programming Languages and Systems --- ESOP '96,
                 6th European Symposium on Programming Link\"oping, Sweden,
                 April 22--24, 1996. Proceedings},
 editor       = {Hanne Riis Nielson},
 series       = {Lecture Notes in Computer Science (LNCS)},
 volume       = {1058},
 pages        = {77--91},
 publisher    = {Springer-Verlag},
 year         = 1996,
 ISBN         = {978-3-540-61055-7},
 DOI          = {10.1007/3-540-61055-3}
}