A Categorical Programming Language (1987) [pdf] (tom.sfc.keio.ac.jp)

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