Inferring the Equivalence of Functional Programs that Mutate Data (1992)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Venue:Theoretical Computer Science
Citations:26 - 7 self