Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

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

zbMATH Keywords

program transformationdelimited continuationscontrol effectsselective CPS transform

Mathematics Subject Classification ID

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

• Yampa

This page was built for publication: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform