Quick specifications for the busy programmer
SMALLBONE, NICHOLAS, JOHANSSON, MOA, CLAESSEN, KOEN, ALGEHED, MAXIMILIANVolume:
27
Year:
2017
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796817000090
File:
PDF, 841 KB
english, 2017