Ohori, A. "A Compilation Method for ML-style Polymorphic Record Calculi"

(1992) [ACM SIGACT-SIGPLAN] Proceedings the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '92) 1992  

Languages mentioned SML# {1992}