Occurrence typing modulo theories. - Andrew M. Kent; David Kempe 002; Sam Tobin-Hochstadt (PLDI, 2016)