3 ms·
A Categorical Programming Language (1987) [pdf]
- mikhailfranco 17y agoAlso check out Rydeheard & Burstall's 'Computational Category Theory': http://83.143.248.39/faculty/aganchev/Category%20Theory/Rydeheard-Burstall/Computational%20Cat%20Theory.pdf http://83.143.248.39/faculty/aganchev/Category%20Theory/Ryde... and all the SpecWare stuff of course: http://www.specware.org/doc.html http://www.specware.org/doc.html