Deriving interpretations of the gradually-typed lambda calculus | Publicación