Debugging Functional Programs by Interpretation - Whitington, John (arXiv.org)