The following pages link to A semantics for shape (Q1916356):
Displaying 10 items.
- Covariant types (Q1390953) (← links)
- Complexity bounds for container functors and comonads (Q1640987) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Proving Properties about Functions on Lists Involving Element Tests (Q2890338) (← links)
- The essence of the <scp>Iterator</scp> pattern (Q3638921) (← links)
- (Q4668854) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins (Q5398330) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
