A category-theoretic account of program modules (1989)

by E Moggi
Venue:In Proceedings of the Conference on Category Theory and Computer Science