The Ecce and Logen partial evaluators and their web interfaces.

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine

Browse the full PEPM paper archive.