Standard ML-NJ weak polymorphism and imperative constructs | IEEE Conference Publication | IEEE Xplore