Newtonian program analysis via tensor product.

Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu

Browse the full POPL paper archive.