A category-theoretic account of program modules (1991)

Cached

Download Links

by Eugenio Moggi
Venue:Mathematical Structures in Computer Science
Citations:23 - 6 self