Not registered as user yet

Name: Matthias Krebs

Affiliation: TU Darmstadt, Germany

SPLASH 2015 Activities

• Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track in SPLASH 2015
• Show activities from other conferences