Denis Béchet Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. 77-91 1996 conf/esop/1996 ESOP db/conf/esop/esop96.html#Bechet96 http://dx.doi.org/10.1007/3-540-61055-3_30