Results 1 -
1 of
1
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 |
