Reflections on Reflections

Authors:
Gilles Barthe;John Hatcliff;Morten Heine Sørensen
Affiliations:
-;-;-
Venue:
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Year:
1997

CPS translating inductive and coinductive types

PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
CPS Translations and Applications: The Cube and Beyond

Higher-Order and Symbolic Computation
A sound and complete axiomatization of delimited continuations

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
How to CPS Transform a Monad

CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

Hi-index	0.00