Matthias Krebs

Matthias Krebs M.Sc.

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

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item type | No grouping
Jump to: 2015
Number of items: 1.

2015

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, New York, NY, USA, ACM, S. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book section]

This list was generated on Mon Sep 21 06:58:53 2020 CEST.