Michael Leuschel Daniel Elphick Mauricio Varea Stephen-John Craig Marc Fontaine The Ecce and Logen partial evaluators and their web interfaces. 88-94 2006 conf/pepm/2006 PEPM http://doi.acm.org/10.1145/1111542.1111557 db/conf/pepm/pepm2006.html#LeuschelEVCF06