SPLASH 2015 (series) / Matthias Krebs
Not registered as user yet
Name: Matthias Krebs
Affiliation: TU Darmstadt, Germany
Contributions
SPLASH 2015 | A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2015-profile
View general profile
View general profile