Standard ML-NJ weak polymorphism and imperative constructs My Hoang John C. Mitchell Ramesh Viswanathan 15-25 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#HoangMV93