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

A Functorial Query Language

Ryan Wisnesky

Watch on YouTube · 54 minutes

Ryan Wisnesky came out to give us a talk at Boston Haskell on April 16th, 2014 based on joint work with David Spivak on new ways to think about data and databases using category theory, along with a new tool they have been building to put these ideas into practice.