DI: an interactive debugging interpreter for applicative languages.

Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft

Browse the full PLDI paper archive.