"Empowering union and intersection types with integrated subtyping."

Fabian Muehlboeck, Ross Tate (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics