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

Lightning talks - Dec. 2014

Darius Jahandarie, Elliot Stern, William Blair, Kenneth Foner, Tom Titchener, Edward Kmett

Watch on YouTube · 122 minutes

Darius Jahandarie - Rust for Haskellers http://youtu.be/yFXzuCFeRGM?t=1s
Elliot Stern - Fun with Phantoms http://youtu.be/yFXzuCFeRGM?t=14m58s
William Blair - Debugging with types in ATS http://youtu.be/yFXzuCFeRGM?t=31m30s
Kenny Foner - Ice, Ice, Data (Freezing mutable data structures with Midas) http://youtu.be/yFXzuCFeRGM?t=50m52s
Tom Titchener - Building a real simple music generator to parameterize canons. http://youtu.be/yFXzuCFeRGM?t=1h12m53s
Edward Kmett - Encapsulation vs. Code Reuse http://youtu.be/yFXzuCFeRGM?t=1h34m55s