Sam Tobin-Hochstadt, Matthias Felleisen. Logical types for untyped languages. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 117-128, ACM, 2010. [doi]
Abstract is missing.