Interpretations of the gradually-typed lambda calculus

Jeremy G. Siek, Ronald Garcia. Interpretations of the gradually-typed lambda calculus. In Olivier Danvy, editor, Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012. pages 68-80, ACM, 2012. [doi]

Abstract

Abstract is missing.