From Category Theory to Functional Programming: A Formal Representation of Intent.

Davide Borsatti, Walter Cerroni, Stuart Clayman

Browse the full NetSoft paper archive.