From Greek to Clojure

Talk by Nada Amin and William Byrd at Clojure/conj 2013.

• Video (Youtube)
• Slides (PDF) -- the slides with the Greek.
• Logical Types for Untyped Languages (PDF) -- the paper shown towards the end.