Type systems for the masses: deriving soundness proofs and efficient checkers. - Sylvia Grewe; Sebastian Erdweg; Pascal Wittmann; Mira Mezini (Onward!, 2015)