The following pages link to Danel Ahman (Q265790):
Displaying 13 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Coalgebraic update lenses (Q283736) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- When is a container a comonad? (Q2878762) (← links)
- When Is a Container a Comonad? (Q2892760) (← links)
- Update Monads: Cointerpreting Directed Containers (Q2968407) (← links)
- Directed Containers as Categories (Q5013830) (← links)
- Runners in Action (Q5041086) (← links)
- Dijkstra monads for free (Q5370885) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)
- Fibrations of algebras (Q6742258) (← links)
- Comodule Representations of Second-Order Functionals (Q6746142) (← links)