Subtyping delimited continuations

DOI10.1145/2034773.2034786zbMath1323.68081OpenAlexW4230388769MaRDI QIDQ5176965

Dariusz Biernacki, Marek Materzok

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2034773.2034786

zbMATH Keywords

type systemsubtypingdelimited continuationcontinuation-passing style

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

A Functional Abstraction of Typed Invocation Contexts ⋮ Verifying Selective CPS Transformation for Shift and Reset ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Continuation passing style for effect handlers

This page was built for publication: Subtyping delimited continuations