• Sign in
  • Sign up
conf.researchr.org / Andrej Dudenhefner
  • ICFP 2017 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • SPLASH 2022 profile

Registered user since Mon 5 Nov 2018

Name:Andrej Dudenhefner
Affiliation:Technical University Dortmund

Contributions

Unsound 2022 Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
POPL 2019 Author of Principality and Approximation under Dimensional Bound within the Research Papers-track
FSCD 2017 Author of The Complexity of Principal Inhabitation within the FSCD 2017-track
POPL 2017 Author of Intersection Type Calculi of Bounded Dimension within the POPL-track

Share
xSun 29 Jan 00:15
using conf.researchr.org (v1.58.0)
Support page
Sign Up