Deriving Interpretations of the Gradually-Typed Lambda Calculus - Ilya Sergey; García Pérez, Álvaro; Nogueira Iglesias, Pablo (Pepm '14 Proceedings Of The Acm Sigplan Workshop On Partial Evaluation And Program Manipulation, 2014)