conf.researchr.org / Andrej Dudenhefner

Registered user since Mon 5 Nov 2018

Name: Andrej Dudenhefner

Affiliation: Technical University Dortmund

Contributions

POPL 2019Author of Principality and Approximation under Dimensional Bound within the Research Papers-track
FSCD 2017Author of The Complexity of Principal Inhabitation within the FSCD 2017-track
POPL 2017Author of Intersection Type Calculi of Bounded Dimension within the POPL-track