Statistics
Publications
1
Citations
14
H-Index
1
Active since
2022
Affiliations
Technische Universität Darmstadt(Current)
Eric Hayden Campbell is an author at Technische Universität Darmstadt specializing in data-flow analysis, type checking, and control-flow analysis.
Publications per year
2022–2022
1
1
Dependently-typed data plane programming
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs et al. · Proceedings of the ACM on Programming Languages · 2022 · 14 citations · Full text
1–1 of 1