Faster constraint solving with subtypes.

Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung

Browse the full ISSTA paper archive.