Standard ML-NJ weak polymorphism and imperative constructs (1996)

by John Mitchell, Ramesh Viswanathan
Venue:IN PROCEEDINGS, EIGHTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE