• Sign in
  • Sign up
conf.researchr.org / Matthias Krebs
  • 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
xSun 26 Jun 22:15
using conf.researchr.org (v1.56.1)
Support page
Sign Up