Computational Category Theory
Edit Page
Report
Scan day: 09 February 2014 UTC
19
Virus safety - good
Description: An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The original ideas are due to R.M. Burstall, and it was developed by D. Rydeheard, with help from D.T. Sannella and others in the University of Edinburgh theoretical computer science community.
Size: 400 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Categories |
| Keywords: | computational category theory |
| Description: | Computational Category Theory |
| IP-address: | 130.88.199.17 |