Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
From MaRDI portal
Publication:2936829
DOI10.1145/1596550.1596596zbMath1302.68187MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, A Functional Abstraction of Typed Invocation Contexts, Verifying Selective CPS Transformation for Shift and Reset, Unnamed Item, No value restriction is needed for algebraic effects and handlers, Understanding algebraic effect handlers via delimited control operators, Delimited control in OCaml, abstractly and concretely, Continuation-passing C, compiling threads to events through continuations
Uses Software