A Translation of Intersection and Union Types for the λμ-Calculus
2014 ◽
pp. 120-139
◽