FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum

Robert Harper. FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum. Journal of Functional Programming, 19(2):262, 2009. [doi]

Abstract

Abstract is missing.