Specialisation of Higher-Order Functions for Debugging

Bernard Pope, Lee Naish
2002 Electronical Notes in Theoretical Computer Science  
doi:10.1016/s1571-0661(04)80355-4 fatcat:ximbhaeiavhald7pjx4bzbmjfi