The following pages link to (Q5089005):
Displaying 6 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Levelwise modules over separable monads on stable derivators (Q1703587) (← links)
- Monads for the formalization of a pattern matching procedure (Q2017780) (← links)
- (Q3385646) (← links)
- (Q5009703) (← links)
- (Q5101336) (← links)