Inferring the Equivalence of Functional Programs that Mutate Data (1992)
by
Ian Mason
,
Carolyn Talcott
| Venue: | Theoretical Computer Science |
| Citations: | 24 - 7 self |

