Items where Author is "Krebs, Matthias"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Contribution in Book/Report/Proceedings
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