Specialisation of Higher-Order Functions for Debugging
From MaRDI portal
Publication:2841302
DOI10.1016/S1571-0661(04)80355-4zbMath1268.68052MaRDI QIDQ2841302
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80355-4
68N18: Functional programming and lambda calculus
Uses Software
Cites Work