A proposed categorical semantics for ML modules (1995)

by M Fourman, H Thielecke
Venue:In Category Theory in Computer Science. Springer LNCS 953