The Comonad.Readertypes, (co)monads, substructural logic

Efficiently coding for modern CPUs

Edward Kmett

Watch on YouTube

Efficiently coding for modern CPUs — ZuriHac 2017.

Materials