SML#プロジェクト

SML#の基礎となった理論・実装技術

現在のSML#言語に生かされている出版された基礎研究成果には以下のものが含まれます．

• データベースの型理論、一般化された自然結合
  • Atsushi Ohori, Semantics of types for database objects, International Conference on Database Theory 1988 (ICDT’88), pp 239-251
  • Peter Buneman, Achim Jung, Atsushi Ohori, Using powerdomains to generalize relational databases, Theoretical Computer Science Volume 91, Issue 1, 9 December 1991, Pages 23-55
  • Tomohiro Sasaki, Katsuhiro Ueno, and Atsushi Ohori, SML# with Natural Join, ACM SIGPLAN ML Family Workshop, September 22, 2016, Nara, Japan
• データベース言語の型推論
  • 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
• ML系言語とデータベースの統合、Machiavelli言語
  • P. Buneman and A. Ohori. Polymorphism and type inference in database programming. ACM Transactions on Database Systems, 21(1):30–74, 1996.
  • 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.
  • A. Ohori, K. Ueno, Making Standard ML a practical database programming language, In roc. ACM ICFP Conference, pp:307-319, 2011.
• レコード多相性の理論
  • 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.
  • A. Ohori. A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems, 17(6):844–895, 1995.
• ランク１多相性の型理論
  • 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.
• MLのunboxed意味論
  • Atsushi Ohori,Tomonobu Takamizawa, An Unboxed Operational Semantics for ML Polymorphism, LISP and Symbolic Computation volume 10, pages61–91(1997)
• MLにおける自然なデータ表現
  • 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.
• 軽量の関数融合
  • 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.
• オブジェクトを動かさないGC
  • 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.
• 並行GC
  • 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.
• SML#のJSONサポート
  • 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.
• マルチコア上の超並列・並行プログラミング
  • Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno, Making SML# a General-purpose High-performance Language, ML family workshop 2017.
• 有限多相生の理論に基づく型主導コンパイルの最適化
  • Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima, Finitary polymorphism for optimizing type-directed compilation, Proceedings of the ACM on Programming Languages, July 2018 Article No.: 81