A proposed categorical semantics for ML modules (1995)

Cached

Download Links

by Michael Fourman , Hayo Thielecke
Citations:1 - 1 self