Items where Author is "Krebs, Matthias"

Group by: Item Type | No Grouping

Number of items: 1.

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

This list was generated on Thu Apr 24 17:41:51 2025 UTC.