25 Aug
1997
25 Aug
'97
2:47 p.m.
You might find Burstall and Rydeheard's book useful -- they implement much of category theory in Standard ML. It's published by Prentice Hall, in the series edited by Tony Hoare. -- P