A category-theoretic account of program modules.” Category theory and computer science (1989)

by E Moggi
Venue:101Ð117, Lecture Notes in Comput. Sci., 389