A category theoretic account of program modules (1991)

by E Moggi
Venue:Mathematical Structures in Computer Science