Intersection and union types (1990)

by B Pierce