Journal of Functional Programming, 0956-7968

Journal