Linear regions are all you need (2006)

by Matthew Fluet, Greg Morrisett, Amal Ahmed
Venue:In 15th European Symposium on Programming, ESOP 2006