The following pages link to (Q3746866):
Displaying 13 items.
- Non-deterministic expressions and predicate transformers (Q287006) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- Principles of programming with complex objects and collection types (Q672333) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- Inductive data types for predicate transformers (Q1199549) (← links)
- Paramorphisms (Q1201295) (← links)
- Calculate categorically! (Q1203123) (← links)
- The derivation of on-line algorithms, with an application to finding palindromes (Q1314430) (← links)
- Computing downwards accumulations on trees quickly (Q1369231) (← links)
- List partitions (Q2366166) (← links)
- (Q5028467) (← links)
- (Q5079757) (← links)
- Toward an Automatic Approach to Greedy Algorithms (Q5321722) (← links)
