A Semantic Account of Type-Directed Partial Evaluation.

Andrzej Filinski A Semantic Account of Type-Directed Partial Evaluation. 378-395 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#Filinski99