Intersection type calculi of bounded dimension
ACM SIGPLAN Notices
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Jakob Rehof