Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine. The Ecce and Logen partial evaluators and their web interfaces. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 88-94, ACM, 2006. [doi]
Abstract is missing.