SML# Document

References

  • 1
    P. Buneman and A. Ohori.
    Polymorphism and type inference in database programming.
    ACM Transactions on Database Systems, 21(1):30–74, 1996.
  • 2
    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.
  • 3
    Lawrence J. Kenah and Simon F. Bate.
    VAX/VMS internals and data structures.
    Digital Press, Newton, MA, USA, 1984.
  • 4
    R. Milner, M. Tofte, and R. Harper.
    The Definition of Standard ML.
    The MIT Press, 1990.
  • 5
    R. Milner, R. Tofte, M. Harper, and D. MacQueen.
    The Definition of Standard ML.
    The MIT Press, revised edition, 1997.
  • 6
    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.
  • 7
    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.
  • 8
    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”.
  • 9
    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.
  • 10
    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.
  • 11
    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.
  • 12
    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.
  • 13
    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.
  • 14
    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.
  • 15
    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.
  • 16
    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.
  • 17
    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.
  • 18
    大堀 淳.
    プログラミング言語Standard ML入門.
    共立出版, 2000.