Items where Author is "Wittmann, Pascal"

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and Mezini, Ermira (2015) Type systems for the masses : deriving soundness proofs and efficient checkers. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) :. ACM, New York, pp. 137-150. ISBN 9781450336888