Doo bee doo bee doo

DOI10.1017/S0956796820000039zbMath1442.68026OpenAlexW3015096137MaRDI QIDQ5110934

Craig A. McLaughlin, Sam Lindley, Conor McBride, Lukas Convent

Publication date: 26 May 2020

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796820000039

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (6)

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ When programs have to watch paint dry ⋮ 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 ⋮ Automated temporal verification for algebraic effects

Uses Software

• Haskell
• Irdis
• Frank
• Koka
• Idris
• Eff
• GitHub
• Links
• Trifecta
• parsec
• Shonky
• indentation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming with algebraic effects and handlers
• The type and effect discipline
• Algebraic operations and generic effects
• Pascal. User manual and report
• Equational theories and monads from polynomial Cayley representations
• Programming interfaces and basic topology
• Handling Algebraic Effects
• Inferring Algebraic Effects
• Turing-Completeness Totally Free
• Fusion for Free
• Data types à la carte
• Handlers of Algebraic Effects
• The Zipper
• Semantics for Algebraic Operations
• Effect handlers via generalised continuations
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Lightweight monadic programming in ML
• Modular rollback through control logging
• Programming and reasoning with algebraic effects and dependent types
• Handlers in action
• Wellfounded recursion with copatterns
• Productive coprogramming with guarded recursion
• Complete and easy bidirectional typechecking for higher-rank polymorphism
• Monads in action
• Type directed compilation of row-typed algebraic effects
• Do be do be do
• Advanced Functional Programming
• Idris, a general-purpose dependently typed programming language: Design and implementation
• Applicative programming with effects
• An Effect System for Algebraic Effects and Handlers

This page was built for publication: Doo bee doo bee doo