Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters"