Atsushi Ohori

Atsushi Ohori

Tohoku University - Sendai / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 363852
東北大学
person_outline Atsushi Ohori's MOST POPULAR ARTICLES
1-) Database programming in Machiavelli—a polymorphic language with static type inferenceA Ohori, P Buneman, V Breazu-TannenACM SIGMOD Record 18 (2), 46-57, 19892101989
2-) A polymorphic record calculus and its compilationA OhoriACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 19951801995
3-) Using powerdomains to generalize relational databasesP Buneman, A Jung, A OhoriTheoretical Computer Science 91 (1), 23-55, 19911571991
4-) Type inference in a database programming languageA Ohori, P BunemanProceedings of the 1988 ACM conference on LISP and functional programming …, 19881091988
5-) A compilation method for ML-style polymorphic record calculiA OhoriProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992991992