Type systems for the masses: deriving soundness proofs and efficient checkers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sylvia Grewe' in GoogleIdentified as Sebastian Erdweg This author has not been identified. Look up 'Pascal Wittmann' in GoogleThis author has not been identified. Look up 'Mira Mezini' in Google

runs on WebDSL