Staged Composition Synthesis
Lecture Notes in Computer Science
Jakob Rehof
Boris Düdder
Intersection type calculi of bounded dimension