1. Standard ML of New Jersey;Appel,1991
2. Principal type schemes for functional programs;Damas;Proc. 9th ACM Symp. on Principles of Programming Languages,1982
3. Types assignment in programming languages;Damas,1985
4. Standard ML weak polymorphism can be sound;Greiner,1993
5. Standard ML-NJ weak polymorphism and imperative constructs;Hoang;Proc. 8th Symposium on Logic in Computer Science,1993