Equivalence in Functional Languages with Effects (1991)

View PDF

Download Links

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