Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Berdine J., P. W. O'Hearn, U. Reddy and H. Thielecke, Linearly used continuations, in: A. Sabry, editor, Proceedings of the 3rd ACM SIGPLAN Workshop on Continuations, 2001.
2. Reflections on Landin's J operator: a partly historical note;Felleisen;Computer Languages,1987
3. Griffin, T. G., A formulae-as-types notion of control, in: Proc. 17th ACM Symposium on Principles of Programming Languages, San Francisco, CA USA, 1990, pp. 47–58.
4. Kelsey R., W. Clinger and J. Rees, editors, Revised5 report on the algorithmic language Scheme, Higher-Order and Symbolic Computation 11 (1998), pp. 7–105.
5. Kim J., K. Yi and O. Danvy, Assessing the overhead of ML exceptions by selective CPS transformation, in: Proceedings of the 1998 ACM SIGPLAN Workshop on ML, 1998.