Generalizing stores (1993)

by G Morrisett
Venue:In ACM SIGLPLAN Workshop on State in Programming Languages