The following pages link to A semantics for shape (Q1916356):
Displaying 14 items.
- A canonical definition of shape (Q730743) (← links)
- Covariant types (Q1390953) (← links)
- Complexity bounds for container functors and comonads (Q1640987) (← links)
- Programming in FISh (Q1856228) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← 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)
- Understanding as an interpretation in a shape understanding system (Q4467047) (← 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)