Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Krebs
conf.researchr.org general profile
PLDI 2022 profile
POPL 2018 profile
POPL 2022 profile
SPLASH 2015 profile
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
Share
x
Sun 26 Jun 22:15