Follow
Andrej Dudenhefner
Andrej Dudenhefner
Department of Computer Science, TU Dortmund University, Germany
Verified email at cs.tu-dortmund.de
Title
Cited by
Cited by
Year
A Coq library of undecidable problems
Y Forster, D Larchey-Wendling, A Dudenhefner, E Heiter, D Kirst, F Kunze, ...
CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, 2020
412020
Combinatory logic synthesizer
J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
372014
Intersection type calculi of bounded dimension
A Dudenhefner, J Rehof
ACM SIGPLAN Notices 52 (1), 653-665, 2017
262017
Combinatory process synthesis
J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
192016
Typability in bounded dimension
A Dudenhefner, J Rehof
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
152017
Mixin composition synthesis based on intersection types
J Rehof, U de'Liguoro, B Düdder, A Dudenhefner, TC Chen, J Bessai
Logical Methods in Computer Science 14, 2018
142018
Extracting a formally verified subtyping algorithm for intersection types from ideals and filters
J Bessai, A Dudenhefner, B Düdder, J Rehof
Talk at COST Types, 2016
132016
Mixin composition synthesis based on intersection types
J Bessai, A Dudenhefner, TC Chen, U De'Liguoro, J Rehof
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 38, 76-91, 2015
122015
A simpler undecidability proof for system F inhabitation
A Dudenhefner, J Rehof
24th International Conference on Types for Proofs and Programs (TYPES 2018), 2019
102019
Typing classes and mixins with intersection types
J Bessai, B Düdder, A Dudenhefner, TC Chen, U de'Liguoro
arXiv preprint arXiv:1503.04911, 2015
102015
The complexity of principal inhabitation
A Dudenhefner, J Rehof
2nd International Conference on Formal Structures for Computation and …, 2017
92017
Undecidability of semi-unification on a napkin
A Dudenhefner
5th International Conference on Formal Structures for Computation and …, 2020
82020
The algebraic intersection type unification problem
A Dudenhefner, M Martens, J Rehof
arXiv preprint arXiv:1611.05672, 2016
82016
Delegation-based mixin composition synthesis
J Bessai, B Düdder, A Dudenhefner, M Martens
Proceedings of Intersection Types and Related Systems (ITRS’14), Lecture …, 2014
72014
Constructive many-one reduction from the halting problem to semi-unification
A Dudenhefner
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
52022
Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)
A Dudenhefner, J Rehof
arXiv preprint arXiv:1705.06070, 2017
52017
The intersection type unification problem
A Dudenhefner, M Martens, J Rehof
1st International Conference on Formal Structures for Computation and …, 2016
52016
Principality and approximation under dimensional bound
A Dudenhefner, J Rehof
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
42019
Lower End of the Linial-Post Spectrum
A Dudenhefner, J Rehof
23rd International Conference on Types for Proofs and Programs (TYPES 2017), 2018
42018
A Coq Library for Mechanised First-Order Logic
D Kirst, J Hostert, A Dudenhefner, Y Forster, M Hermes, M Koch, ...
The Coq Workshop 2022, 2022
32022
The system can't perform the operation now. Try again later.
Articles 1–20