• 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

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
xTue 13 May 12:11
using conf.researchr.org (v1.69.0)
Support page
Sign Up