Quick specifications for the busy programmer
From MaRDI portal
Publication:5371995
DOI10.1017/S0956796817000090zbMath1418.68037WikidataQ114116626 ScholiaQ114116626MaRDI QIDQ5371995
Moa Johansson, Koen Claessen, Nicholas Smallbone, Maximilian Algehed
Publication date: 23 October 2017
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Uses Software