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