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
2022
PLDI
Author of (POPL 2022) Dependently-Typed Data Plane Programming within the SIGPLAN Track-track
POPL
Author of Dependently-Typed Data Plane Programming within the POPL-track
2015
SPLASH
Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
Share
x
Sun 24 Nov 14:18