Refining first-class stores (1993)

by J Gregory Morrisett
Venue:In In Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages