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.