Standard ML-NJ weak polymorphism and imperative constructs

My Hoang, John C. Mitchell, Ramesh Viswanathan

Browse the full LICS paper archive.