pearl-binary-search icon indicating copy to clipboard operation
pearl-binary-search copied to clipboard

verified publisher icon gallais
→

Metadata

Functional Pearl: Certified Binary Search in a Read-Only Array

Results 1 pearl-binary-search issues
Sort by recently updated
recently updated
newest added

Refs

Could be nice to compare & contrast with another example of indexing a structure by its meaning e.g. * Constructing Correct Circuits Hardware Modelling with Dependent Types * Ornaments *...

gallais avatar gallais

← Metadata

28
Stars
0
Forks
Watchers

Owner

verified publisher icon gallais

Metadata

Functional Pearl: Certified Binary Search in a Read-Only Array

Back