Matthias Krebs -

Not registered as user yet

Name:Matthias Krebs

Country:Germany

Affiliation:TU Darmstadt

Contributions

PLDI 2022	Author of (POPL 2022) Dependently-Typed Data Plane Programming within the SIGPLAN Track-track
POPL 2022	Author of Dependently-Typed Data Plane Programming within the POPL-track
SPLASH 2015	Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track