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