Name: Anonymous 2014-01-12 0:20
Category Theory for Computing Science is a fundamental book for any person willing to be a language designer, and it's free:
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf