Equivalence in Functional Languages with Effects (1991)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:108 - 13 self

Document Versions

Equivalence in Functional Languages with Effects –Ian Mason, Carolyn Talcott — 1991