Interleaving data and effects
From MaRDI portal
Publication:5371955
DOI10.1017/S0956796815000209zbMath1419.68036MaRDI QIDQ5371955
Publication date: 23 October 2017
Published in: Journal of Functional Programming (Search for Journal in Brave)
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Relational properties of domains
- Combining effects: sum and tensor
- A fixpoint theorem for complete categories
- Fibrational Induction Meets Effects
- Composing monads using coproducts
- Coproducts of Monads on Set
- Data types à la carte
- Asymptotic Improvement of Computations over Free Monads
- Algebraic specification of data types: A synthetic approach
- Coproducts of Ideal Monads
- Inductive reasoning about effectful data types
- Fast and loose reasoning is morally correct
- Advanced Functional Programming
- An introduction to (co)algebra and (co)induction
- Two-level types and parameterized modules
- Lifting theorems for Kleisli categories
This page was built for publication: Interleaving data and effects
