Title: Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16-20, 1985