A Category-Theoretic Account of Program Modules (1994)

View PDF

Download Links

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