The following pages link to Danel Ahman (Q265790):
Displayed 12 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)
- When programs have to watch paint dry (Q6070787) (← links)
- Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (Q6091296) (← links)