Representing covert movements by delimited continuations

Authors:
Daisuke Bekki;Kenichi Asai
Affiliations:
Department of Information Science, Faculty of Science, Ochanomizu University, Tokyo, Japan;Department of Information Science, Faculty of Science, Ochanomizu University, Tokyo, Japan
Venue:
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Year:
2009

The theory and practice of first-class prompts

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Control delimiters and their hierarchies

Lisp and Symbolic Computation
Abstracting control

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Handling control

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Types as Graphs: Continuations in Type Logical Grammar

Journal of Logic, Language and Information
A monadic framework for delimited continuations

Journal of Functional Programming
Monads and Meta-lambda Calculus

New Frontiers in Artificial Intelligence

Hi-index	0.00