"Deriving interpretations of the gradually-typed lambda calculus."

Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics