A type system for a lambda calculus with assignments (1994)

by Kung Chen, Martin Odersky
Venue:In Proc. of the International Conference on Theoretical Aspects of Computer Software