Obserwuj
Atsushi Ohori
Atsushi Ohori
Zweryfikowany adres z riec.tohoku.ac.jp
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2101989
A polymorphic record calculus and its compilation
A Ohori
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 1995
1801995
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1571991
Type inference in a database programming language
A Ohori, P Buneman
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
1031988
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
901996
A typed context calculus
M Hashimoto, A Ohori
Theoretical computer science 266 (1-2), 249-272, 2001
872001
Semantics for communication primitives in a polymorphic language
A Ohori, K Kato
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
671993
Lightweight fusion by fixed point promotion
A Ohori, I Sasano
ACM SIGPLAN Notices 42 (1), 143-154, 2007
642007
Static type inference for parametric classes
A Ohori, P Buneman
Conference proceedings on Object-oriented programming systems, languages and …, 1989
581989
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
411989
Making Standard ML a practical database programming language
A Ohori, K Ueno
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
392011
A polymorphic calculus for views and object sharing
A Ohori, K Tajima
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994
381994
Representing object identity in a pure functional language
A Ohori
International Conference on Database Theory, 39-55, 1990
361990
The logical abstract machine: a Curry-Howard isomorphism for machine code
A Ohori
International Symposium on Functional and Logic Programming, 300-318, 1999
301999
Proof-directed de-compilation of low-level code
S Katsumata, A Ohori
European Symposium on Programming, 352-366, 2001
242001
A Curry-Howard isomorphism for compilation and program execution
A Ohori
International Conference on Typed Lambda Calculi and Applications, 280-294, 1999
241999
A Type System that Reconsiles Classes and Extents.
P Buneman, A Ohori
DBPL, 191-202, 1991
231991
Ordering and types in databases
A Ohori
231989
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20