Fusion for Free

DOI10.1007/978-3-319-19797-5_15zbMath1432.68077OpenAlexW847838221MaRDI QIDQ2941182

Nicolas Wu, Tom Schrijvers

Publication date: 27 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19797-5_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Efficient algebraic effect handlers for Prolog ⋮ Folding over neural networks ⋮ Effect handlers via generalised continuations ⋮ Doo bee doo bee doo ⋮ Structured handling of scoped effects ⋮ No value restriction is needed for algebraic effects and handlers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deforestation: Transforming programs to eliminate trees
• Algebraic operations and generic effects
• Combining effects: sum and tensor
• Conjugate Hylomorphisms -- Or
• Handling Algebraic Effects
• Fibrational Induction Meets Effects
• Free theorems involving type constructor classes
• Data types à la carte
• Notions of computation as monoids
• Handlers in action

This page was built for publication: Fusion for Free