Monotonic gradual typing in a common calculus.

Benjamin Chung, Jan Vitek

Browse the full ISSTA paper archive.