The Comonad.Readertypes, (co)monads, substructural logic
IFIP WG2.8 · Kefalonia · Talk

Functionally Oblivious (and Succinct)

Edward Kmett

Slides from the 33rd IFIP Working Group 2.8 meeting, exploring cache-oblivious and succinct data structures.

Read the slides (PDF · 49 pages) · Download

Open the PDF