Polymorphic Delimited Continuations
From MaRDI portal
Publication:3498441
DOI10.1007/978-3-540-76637-7_16zbMATH Open1137.68344OpenAlexW2132416076MaRDI QIDQ3498441FDOQ3498441
Authors: Kenichi Asai, Yukiyoshi Kameyama 
Publication date: 15 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=20593&item_no=1&attribute_id=17&file_no=1
Recommendations
Type SystemControl OperatorCPS TranslationDelimited ContinuationPredicative/Impredicative Polymorphism
Cited In (22)
- Typed Dynamic Control Operators for Delimited Continuations
- A Functional Abstraction of Typed Invocation Contexts
- A Substructural Type System for Delimited Continuations
- On typing delimited continuations: Three new solutions to the printf problem
- Bisimulations for delimited-control operators
- A monadic framework for delimited continuations
- A type-theoretic foundation of continuations and prompts
- Signature restriction for polymorphic algebraic effects
- Delimited control operators prove double-negation shift
- A functional abstraction of typed invocation contexts
- Complete call-by-value calculi of control operators. II: Strong termination
- Proving termination of evaluation for system F with control operators
- Logical relations for coherence of effect subtyping
- Programming Languages and Systems
- A type-theoretic foundation of delimited continuations
- Functional un\(|\)unparsing
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- A systematic approach to delimited control with multiple prompts
- Title not available (Why is that?)
- Subtyping delimited continuations
- No value restriction is needed for algebraic effects and handlers
- Title not available (Why is that?)
This page was built for publication: Polymorphic Delimited Continuations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498441)
