From Polyvariant Flow Information to Intersection and Union Types (1998)

by Jens Palsberg , Christina Pavlopoulou
Venue:J. FUNCT. PROGRAMMING
Citations:41 - 7 self