Inferring Algebraic Effects

DOI10.2168/LMCS-10(3:21)2014zbMath1341.68024arXiv1312.2334MaRDI QIDQ2921118

Matija Pretnar

Publication date: 30 September 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebraic effectseffect systemeffect handlerseffect inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

Explicit effect subtyping ⋮ Sound and complete type inference for closed effect rows ⋮ Doo bee doo bee doo ⋮ Automated temporal verification for algebraic effects ⋮ No value restriction is needed for algebraic effects and handlers ⋮ An introduction to algebraic effects and handlers (invited tutorial paper)

Uses Software

• ML
• Haskell
• Frank
• Koka
• Eff

This page was built for publication: Inferring Algebraic Effects