The Comonad Readertypes, (co)monads, substructural logic

Cadenza: Building Fast Functional Languages Fast

Edward Kmett

Watch on YouTube · 40 minutes

Cadenza: Building Fast Functional Languages Fast — YOW! Lambda Jam 2020, online.

Materials