conf.researchr.org / Matthias Krebs
Not registered as user yet
Name: Matthias Krebs
Affiliation: TU Darmstadt, Germany
Contributions
| SPLASH 2015 | Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track |