Proof-Directed Debugging (1999)

by R HARPER
Venue:Journal of Functional Programming 9