Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira (2015)
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015
Buchkapitel, Bibliographie