Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types.

Vincent Rahli, Mark Bickford, Abhishek Anand

Browse the full ITP paper archive.