The following pages link to Red-black trees with types (Q2757083):
Displaying 7 items.
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- An assertional proof of red-black trees using Dafny (Q1984797) (← links)
- How to keep your neighbours in order (Q2819693) (← links)
- Automatic Functional Correctness Proofs for Functional Search Trees (Q2829265) (← links)
- CONSTRUCTING RED-BLACK TREE SHAPES (Q3021990) (← links)
- Purely Functional 1-2 Brother Trees (Q3648351) (← links)
- (Q5875410) (← links)