Proof-Directed Debugging'. Journal of Functional Programming 9(4 (1999)

by R Harper
Venue:In: Conference Record of 23rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '96