Programming and reasoning with algebraic effects and dependent types
From MaRDI portal
Publication:5244796
DOI10.1145/2500365.2500581zbMath1323.68097OpenAlexW2099741881MaRDI QIDQ5244796
Publication date: 30 March 2015
Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2500365.2500581
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (12)
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Doo bee doo bee doo ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Iteration and labelled iteration ⋮ Dependent Types and Fibred Computational Effects ⋮ Introducing a Calculus of Effects and Handlers for Natural Language Semantics ⋮ Continuation passing style for effect handlers ⋮ Not by equations alone: Reasoning with extensible effects
Uses Software
This page was built for publication: Programming and reasoning with algebraic effects and dependent types
