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

Kentaro Kikuchi, Takafumi Sakurai

Browse the full APLAS paper archive.