The following pages link to Container types categorically (Q4500365):
Displaying 6 items.
- Datatype-generic termination proofs (Q1015386) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
