Home » Authors » David E. Rydeheard, R.M. Burstall

David E. Rydeheard, R.M. Burstall

Public reference bibliography and cataloged PDF materials authored or published by David E. Rydeheard, R.M. Burstall.

Found 1 document(s) Page 1 of 1

Computational Category Theory

Source: freecomputerbooks.com • Listed PDF

This book is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. It it proceeds from algorithm to algorithm until all of elementary category theory is ...