Follow
Atsushi Ohori
Atsushi Ohori
Verified email at riec.tohoku.ac.jp
Title
Cited by
Cited by
Year
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
2181989
A polymorphic record calculus and its compilation
A Ohori
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 1995
1861995
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1631991
Type inference in a database programming language
A Ohori, P Buneman
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
1121988
A compilation method for ML-style polymorphic record calculi
A Ohori
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
991992
Polymorphism and type inference in database programming
P Buneman, A Ohori
ACM Transactions on Database Systems (TODS) 21 (1), 30-76, 1996
951996
A typed context calculus
M Hashimoto, A Ohori
Theoretical Computer Science 266 (1-2), 249-272, 2001
902001
Semantics for communication primitives in a polymorphic language
A Ohori, K Kato
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
681993
Lightweight fusion by fixed point promotion
A Ohori, I Sasano
ACM SIGPLAN Notices 42 (1), 143-154, 2007
672007
Static type inference for parametric classes
A Ohori, P Buneman
Conference proceedings on Object-oriented programming systems, languages and …, 1989
571989
Semantics of types for database objects
A Ohori
Theoretical Computer Science 76 (1), 53-91, 1990
521990
A simple semantics for ML polymorphism
A Ohori
Proceedings of the fourth international conference on Functional programming …, 1989
431989
Making Standard ML a practical database programming language
A Ohori, K Ueno
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
402011
Representing object identity in a pure functional language
A Ohori
International Conference on Database Theory, 39-55, 1990
391990
A polymorphic calculus for views and object sharing
A Ohori, K Tajima
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994
371994
The logical abstract machine: A Curry-Howard isomorphism for machine code
A Ohori
International Symposium on Functional and Logic Programming, 300-318, 1999
321999
A Type System that Reconsiles Classes and Extents.
P Buneman, A Ohori
DBPL, 191-202, 1991
261991
Ordering and types in databases
A Ohori
251989
Proof-directed de-compilation of low-level code
S Katsumata, A Ohori
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
242001
A Curry-Howard isomorphism for compilation and program execution
A Ohori
International Conference on Typed Lambda Calculi and Applications, 280-294, 1999
231999
The system can't perform the operation now. Try again later.
Articles 1–20