Linear Regions Are All You Need.

Matthew Fluet Greg Morrisett Amal J. Ahmed Linear Regions Are All You Need. 7-21 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_2 db/conf/esop/esop2006.html#FluetMA06