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

• Ohori (1992) Ohori, A. "A Compilation Method for ML-style Polymorphic Record Calculi"