Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (1994)

Cached

Download Links

by Anders Bondorf , Dirk Dussart
Venue:University of Melbourne, Australia
Citations:15 - 0 self

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft, L O Andersen, T Mogensen - 1993
236 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
731 Notions of Computation and Monads – Eugenio Moggi - 1991
129 Representing Monads – Andrzej Filinski - 1994
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990