Refining First-Class Stores (1993)

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