Functional programs that explain their work

DOI10.1145/2364527.2364579zbMath1291.68129OpenAlexW2096001571MaRDI QIDQ5168916

Roly Perera, James Cheney, Paul Blain Levy, Umut A. Acar

Publication date: 21 July 2014

Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.960.5102

zbMATH Keywords

provenanceprogram slicingdebugging

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Explainable dynamic programming

This page was built for publication: Functional programs that explain their work