Bibliography

• [1] P. Buneman and A. Ohori. Polymorphism and type inference in database programming. ACM Transactions on Database Systems, 21(1):30–74, 1996.
• [2] E. R. Gansner and J. Reppy. The Standard ML Basis Library. Cambridge University Press, 2002.
• [3] M.J. Gordon, A.J.R.G. Milner, and C.P. Wadsworth. Edinburgh LCF: A Mechanized Logic of Computation. Lecture Note in Computer Science. Springer-Verlag, 1979.
• [4] Lawrence J. Kenah and Simon F. Bate. VAX/VMS internals and data structures. Digital Press, Newton, MA, USA, 1984.
• [5] R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.
• [6] R. Milner, R. Tofte, M. Harper, and D. MacQueen. The Definition of Standard ML. The MIT Press, revised edition, 1997.
• [7] H-D. Nguyen and A. Ohori. Compiling ml polymporphism with explicit layout bitmap. In Proceedings of ACM Conference on Principles and Practice of Declarative Programming, pages 237–248, 2006.
• [8] A Ohori. A compilation method for ML-style polymorphic record calculi. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 154–165, 1992.
• [9] A. Ohori. A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems, 17(6):844–895, 1995. A preliminary summary appeared at ACM POPL, 1992 under the title “A compilation method for ML-style polymorphic record calculi”.
• [10] A. Ohori and P. Buneman. Type inference in a database programming language. In Proc. ACM Conference on LISP and Functional Programming, pages 174–183, Snowbird, Utah, July 1988.
• [11] A. Ohori, P. Buneman, and V. Breazu-Tannen. Database programming in Machiavelli – a polymorphic language with static type inference. In Proc. the ACM SIGMOD conference, pages 46–57, Portland, Oregon, May – June 1989.
• [12] A Ohori and I. Sasano. Lightweight fusion by fixed point promotion. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 143–154, 2007.
• [13] A. Ohori and T. Takamizawa. A polymorphic unboxed calculus as an abstract machine for polymorphic languages. J. Lisp and Symbolic Comput., 10(1):61–91, 1997.
• [14] A. Ohori and K. Ueno. Making Standard ML a practical database programming language. In Proceedings of the ACM International Conference on Functional Programming, pages 307–319, 2011.
• [15] A. Ohori and N. Yoshida. Type inference with rank 1 polymorphism for type-directed compilation of ML. In Proc. ACM International Conference on Functional Programming, pages 160–171, 1999.
• [16] K. Ueno, A Ohori, and T. Otomo. An efficient non-moving garbage collector for functional languages. In Proceedings of the ACM International Conference on Functional Programming, 2011.
• [17] Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi. A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. In Proceedings of the European Concerence on Object-Oriented Programming, pages 421-433, 2016. In Proc. ECOOP Conference, pages 18:1-18:25, 2016.
• [18] Katsuhiro Ueno, Atsushi Ohori. A fully concurrent garbage collector for functional programs on multicore processors. In Proceedings of the ACM International Conference on Functional Programming, pages 421-433, 2016.
• [19] 大堀 淳. プログラミング言語Standard ML入門. 共立出版, 2000.