Pages that link to "Item:Q4943361"
From MaRDI portal
The following pages link to Red-black trees in a functional setting (Q4943361):
Displayed 7 items.
- Pattern matching for the masses using custom notations (Q436385) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- An assertional proof of red-black trees using Dafny (Q1984797) (← links)
- Red-black trees with constant update time (Q2422774) (← links)
- Deletion: The curse of the red-black tree (Q2933113) (← links)
- Purely Functional 1-2 Brother Trees (Q3648351) (← links)
- Space-efficient functional offline-partially-persistent trees with applications to planar point location (Q6139049) (← links)