A Categorical Programming Language (1987) [pdf]

tom.sfc.keio.ac.jp

5 pointsTriinT16 years ago1 comment

mikhailfranco 16y

Also check out Rydeheard & Burstall's 'Computational Category Theory':

http://83.143.248.39/faculty/aganchev/Category%20Theory/Ryde...

and all the SpecWare stuff of course:

http://www.specware.org/doc.html