Atsushi Ohori
Atsushi Ohori
確認したメール アドレス: riec.tohoku.ac.jp
タイトル
引用先
引用先
Database programming in Machiavelli—a polymorphic language with static type inference
A Ohori, P Buneman, V Breazu-Tannen
ACM SIGMOD Record 18 (2), 46-57, 1989
1981989
A polymorphic record calculus and its compilation
A Ohori
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 1995
1621995
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1531991
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1531991
Type inference in a database programming language
A Ohori, P Buneman
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
931988
A compilation method for ML-style polymorphic record calculi
A Ohori
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
911992
A typed context calculus
M Hashimoto, A Ohori
Theoretical Computer Science 266 (1-2), 249-272, 2001
852001
A typed context calculus
M Hashimoto, A Ohori
Theoretical Computer Science 266 (1-2), 249-272, 2001
852001
Polymorphism and type inference in database programming
P Buneman, A Ohori
ACM Transactions on Database Systems (TODS) 21 (1), 30-76, 1996
841996
Polymorphism and type inference in database programming
P Buneman, A Ohori
ACM Transactions on Database Systems (TODS) 21 (1), 30-76, 1996
821996
Semantics for communication primitives in a polymorphic language
A Ohori, K Kato
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
631993
Lightweight fusion by fixed point promotion
A Ohori, I Sasano
ACM SIGPLAN Notices 42 (1), 143-154, 2007
582007
Static type inference for parametric classes
A Ohori, P Buneman
Conference proceedings on Object-oriented programming systems, languages and …, 1989
561989
Static type inference for parametric classes
A Ohori, P Buneman
Conference proceedings on Object-oriented programming systems, languages and …, 1989
561989
Semantics of types for database objects
A Ohori
Theoretical Computer Science 76 (1), 53-91, 1990
531990
Semantics of types for database objects
A Ohori
Theoretical Computer Science 76 (1), 53-91, 1990
531990
A simple semantics for ML polymorphism
A Ohori
Proceedings of the fourth international conference on Functional programming …, 1989
381989
Representing object identity in a pure functional language
A Ohori
International Conference on Database Theory, 39-55, 1990
351990
Making Standard ML a practical database programming language
A Ohori, K Ueno
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
342011
A polymorphic calculus for views and object sharing
A Ohori, K Tajima
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994
341994
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20