Intersection type calculi of bounded dimension
Staged Composition Synthesis
ACM SIGPLAN Notices
Lecture Notes in Computer Science
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Andrej Dudenhefner
Moritz Martens
Boris Düdder