The following pages link to Higher-Order Containers (Q3576186):
Displaying 10 items.
- Complexity bounds for container functors and comonads (Q1640987) (← links)
- Container combinatorics: monads and lax monoidal functors (Q1698760) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- When is a container a comonad? (Q2878762) (← links)
- Higher order architecture of collections of objects (Q3465115) (← links)
- (Q3532206) (← links)
- (Q4555336) (← links)
- Indexed containers (Q5371943) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)