Not registered as user yet

Name:Matthias Krebs
Country:Germany
Affiliation:TU Darmstadt

Contributions

PLDI 2022 (POPL 2022) Dependently-Typed Data Plane Programming
Show activities from other conferences

Using general profile