1. Type systems for the masses: deriving soundness proofs and efficient checkers. Autoren: Grewe, Sylvia; Erdweg, Sebastian; Wittmann, Pascal; Mezini, Mira Editoren: Murphy, Gail C; Jr, Guy L Steele Veröffentlichungsdatum: 2015 Typ: Konferenzbeitrag