Staged Composition Synthesis
Lecture Notes in Computer Science
Jakob Rehof
Moritz Martens
Intersection type calculi of bounded dimension