Static analysis for safe destructive updates in a functional language (2001)

by Natarajan Shankar
Venue:In LOPSTR, volume 2372 of LNCS