A Translation of Intersection and Union Types for the λμ-Calculus

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12736-1_7 ◽

2014 ◽

pp. 120-139 ◽

Author(s):

Kentaro Kikuchi ◽

Takafumi Sakurai

Download Full-text