Peter Gammie
The australian national university, canberra act 0200, australiapeter.gammie@anu.edu.au
Generalising monads to arrows
Science of Computer Programming - Special issue on mathematics of program construction
Types and programming languages
Introduction to the Theory of Computation
Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN-13: 9780521898850, $70.00
Theory and Practice of Logic Programming