Standard ML weak polymorphism and imperative constructs (1993)

by My Hoang, John Mitchell, Ramesh Viswanathan
Venue:In Proceedings of the Eighth Annual Symposium on Logic in Computer Science