Atsushi Ohori
Atsushi Ohori
E-mail confirmado em riec.tohoku.ac.jp
Título
Citado por
Citado por
Ano
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
1991989
A polymorphic record calculus and its compilation
A Ohori
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 1995
1651995
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1541991
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1541991
Type inference in a database programming language
A Ohori, P Buneman
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
961988
A compilation method for ML-style polymorphic record calculi
A Ohori
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
891992
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
641993
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
531989
Static type inference for parametric classes
A Ohori, P Buneman
Conference proceedings on Object-oriented programming systems, languages and …, 1989
531989
Semantics of types for database objects
A Ohori
Theoretical Computer Science 76 (1), 53-91, 1990
511990
Semantics of types for database objects
A Ohori
Theoretical Computer Science 76 (1), 53-91, 1990
511990
A simple semantics for ML polymorphism
A Ohori
Proceedings of the fourth international conference on Functional programming …, 1989
391989
A polymorphic calculus for views and object sharing
A Ohori, K Tajima
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994
361994
Representing object identity in a pure functional language
A Ohori
International Conference on Database Theory, 39-55, 1990
361990
Making Standard ML a practical database programming language
A Ohori, K Ueno
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
342011
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20