Items where Author is "Erdweg, Sebastian"

Contribution in Book/Report/Proceedings

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Ermira (2016) CPL : a core language for cloud computing. In: MODULARITY 2016 Proceedings of the 15th International Conference on Modularity :. ACM, New York, pp. 94-105. ISBN 9781450339957

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and Mezini, Ermira (2015) A co-contextual formulation of type rules and its application to incremental type checking. In: OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications :. ACM, New York, pp. 880-897. ISBN 9781450336895

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