scientific article; zbMATH DE number 7362474

zbMath1464.68062arXiv1406.2061MaRDI QIDQ4995164

Daan Leijen

Publication date: 23 June 2021

Full work available at URL: https://arxiv.org/abs/1406.2061

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (11)

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 ⋮ Towards efficient adjustment of 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 ⋮ Automated temporal verification for algebraic effects ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ No value restriction is needed for algebraic effects and handlers

Uses Software

• Koka

This page was built for publication: