Debugging standard ML without reverse engineering (1990)

by A P Tolmach, A W Appel
Venue:In Proc. 6th ACM Conf. on LISP and Functional Programming