Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini. Type systems for the masses: deriving soundness proofs and efficient checkers. In Gail C. Murphy, Guy L. Steele Jr., editors, 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 137-150, ACM, 2015. [doi]