Fold and unfold for program semantics
From MaRDI portal
Publication:5234276
DOI10.1145/289423.289457zbMath1428.68103OpenAlexW1986523916MaRDI QIDQ5234276
Publication date: 26 September 2019
Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: http://eprints.nottingham.ac.uk/230/
Related Items (1)
This page was built for publication: Fold and unfold for program semantics