Occurrence typing modulo theories.

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

Browse the full PLDI paper archive.