The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk).

Jeremy G. Siek

Browse the full CALCO paper archive.