Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
From MaRDI portal
Publication:2936829
DOI10.1145/1596550.1596596zbMath1302.68187OpenAlexW2133051483MaRDI QIDQ2936829
Martin Odersky, I. Maier, Tiark Rompf
Publication date: 6 January 2015
Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: http://infoscience.epfl.ch/record/149136
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
A Functional Abstraction of Typed Invocation Contexts ⋮ Continuation-passing C, compiling threads to events through continuations ⋮ Verifying Selective CPS Transformation for Shift and Reset ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Delimited control in OCaml, abstractly and concretely ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
This page was built for publication: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
