Making Set-Constraint Program Analyses Scale
Manuel A. Fähndrich, Alex Aiken · 1996
this paper, it is sufficient to consider the core type language defined below, which avoids these irregularities. We still use the full type language in examples, however. The core type language distinguishes between "left" types ø