Practical Optional Types for Clojure. - Ambrose Bonnaire-Sergeant; Rowan Davies; Sam Tobin-Hochstadt (ESOP, 2016)