Matthias Krebs M.Sc.

Software Technology Group


work +49 6151 16-21364

Work S2|02 A226
Hochschulstr. 10
64289 Darmstadt

I am a doctoral researcher at the Software Technology Group at TU Darmstadt. My research interests include programming languages and formal methods.


Jump to: 2015
Number of items: 1.


Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]

This list was generated on Mon Jul 26 04:42:36 2021 CEST.