Just do it
From MaRDI portal
Publication:5176957
DOI10.1145/2034773.2034777zbMath1323.68207MaRDI QIDQ5176957
Publication date: 5 March 2015
Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2034773.2034777
68N18: Functional programming and lambda calculus
68Q65: Abstract data types; algebraic specification
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software