Pure Type Systems

Cody Roux's talk for the Boston Haskell Meetup - February 18, 2015
Slides: http://www.slideshare.net/imalsogreg/cody-roux-pure-type-systems-boston-haskell-meetup

Materials

• slides