Do be do be do
From MaRDI portal
Publication:5370884
DOI10.1145/3009837.3009897zbMath1380.68098arXiv1611.09259OpenAlexW2184230987MaRDI QIDQ5370884
Conor McBride, Craig A. McLaughlin, Sam Lindley
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1611.09259
pattern matchingalgebraic effectscontinuationscall-by-push-valueeffect handlersbidirectional typingeffect polymorphism
Related Items (12)
Explicit effect subtyping ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Sound and complete type inference for closed effect rows ⋮ Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Structured handling of scoped effects ⋮ Automated temporal verification for algebraic effects ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Continuation passing style for effect handlers ⋮ Gradual type theory
Uses Software
This page was built for publication: Do be do be do
