scientific article; zbMATH DE number 7453167

MaRDI QIDQ5020618

Wouter Swierstra, Anne Baanen

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Eff

Cites Work

• Unnamed Item
• Unnamed Item
• Programming with algebraic effects and handlers
• Algebraic operations and generic effects
• Turing-Completeness Totally Free
• Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
• Data types à la carte
• Handlers of Algebraic Effects
• Higher-order functions for parsing
• Proof-directed debugging
• Just do it
• On the bright side of type classes
• Parsing with derivatives
• The marriage of effects and monads
• Dijkstra monads for free
• Derivatives of Regular Expressions

This page was built for publication: