M. Hoang

Standard ML-NJ weak polymorphism and imperative constructs

Ramesh Viswanathan, John C. Mitchell, My Hoang, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.