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.