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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.