Typed Dynamic Control Operators for Delimited Continuations (2008)

Cached

Download Links

by Yukiyoshi Kameyama , Takuo Yonezawa
Venue:FLOPS ’08: Proceedings of 9th International Symposium on Functional and Logic Programming
Citations:3 - 2 self

Documents Related by Co-Citation

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
625 Compiling with Continuations – A Appel - 1992
129 Representing Monads – Andrzej Filinski - 1994
95 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
65 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
25 A Sound and Complete Axiomatization of Delimited Continuations – Yukiyoshi Kameyama, Masahito Hasegawa - 2003
272 The essence of compiling with continuations – Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen - 1993
9 On Typing Delimited Continuations: Three New Solutions to the Printf Problem – Kenichi Asai - 2009
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005