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

Document Versions

Inferring the Equivalence of Functional Programs that Mutate Data –Ian Mason, Carolyn Talcott — 1992 — Theoretical Computer Science