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

by Natarajan Shankar
Venue:In 11th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR