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

Ur/Web

Adam Chlipala

Watch on YouTube · 64 minutes

Adam Chlipala agreed to come out to Boston Haskell and give a talk on the Ur/Web programming language on August 20th, 2014.