Total Correctness by Local Improvement in the Transformation of Functional Programs (1996)

Cached

Download Links

by David Sands
Venue:ACM Transactions on Programming Languages and Systems
Citations:61 - 6 self