Quick specifications for the busy programmer

Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed. Quick specifications for the busy programmer. Journal of Functional Programming, 27, 2017. [doi]

Authors

Nicholas Smallbone

This author has not been identified. Look up 'Nicholas Smallbone' in Google

Moa Johansson

This author has not been identified. Look up 'Moa Johansson' in Google

Koen Claessen

This author has not been identified. It may be one of the following persons: Look up 'Koen Claessen' in Google

Maximilian Algehed

This author has not been identified. Look up 'Maximilian Algehed' in Google