Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries
A discriminator partitions values associated with keys into groups listed in ascending order. Discriminators can be defined generically by structural recursion on representations of ordering relations. Employing type-indexed families we demonstrate how tries with an optimal-time lookup function can...
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
Springer International Publishing
2013
|