Atsushi Ohori

Citované v

	Všetky	Od 2020
Citácie	1978	147
h-index	20	6
i10-index	44	4

120

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202538 58 90 65 105 99 74 61 63 80 74 49 51 54 50 56 50 65 81 70 54 47 43 44 45 41 39 49 31 37 29 23 48 20 25 27 4

Spoluautori

Peter BunemanProfessor, University of EdinburghOverená e-mailová adresa na: inf.ed.ac.uk
Kazuhiko KatoProfessor, Departmen of Computer Science, University of TsukubaOverená e-mailová adresa na: cs.tsukuba.ac.jp
Isao SasanoShibaura Institute of TechnologyOverená e-mailová adresa na: sic.shibaura-it.ac.jp
Achim JungProfessor of Computer Science, University of Birmingham, UKOverená e-mailová adresa na: cs.bham.ac.uk
Richard ConnorUniversity of St AndrewsOverená e-mailová adresa na: st-andrews.ac.uk
Yutaka MatsunoProfessor, Department of Computer Engineering, College of Science and Technology, Nihon UniversityOverená e-mailová adresa na: nihon-u.ac.jp
Kenjiro TauraProfessor of Computer Science, University of TokyoOverená e-mailová adresa na: eidos.ic.i.u-tokyo.ac.jp
Xavier LeroyCollège de FranceOverená e-mailová adresa na: college-de-france.fr
Alan MycroftProfessor of Computing, University of CambridgeOverená e-mailová adresa na: cl.cam.ac.uk
Joachim SchmidtLecturer of Space Science, Sydney UniversityOverená e-mailová adresa na: sydney.edu.au
Florian MatthesProfessor of Computer Science, Technische Universität MünchenOverená e-mailová adresa na: tum.de
Kwanghoon ChoiChonnam National University, Gwang-Ju, Republic of KoreaOverená e-mailová adresa na: jnu.ac.kr
Jieh HsiangNational Taiwan UniversityOverená e-mailová adresa na: ntu.edu.tw
Giorgio GhelliOverená e-mailová adresa na: di.unipi.it
Masato TakeichiUniversity of TokyoOverená e-mailová adresa na: acm.org

Sledovať

Atsushi Ohori

Tohoku University

Overená e-mailová adresa na: riec.tohoku.ac.jp

Programming Languages Databases


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	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	219	1989
A polymorphic record calculus and its compilation A Ohori ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 1995	186	1995
Using powerdomains to generalize relational databases P Buneman, A Jung, A Ohori Theoretical Computer Science 91 (1), 23-55, 1991	160	1991
Type inference in a database programming language A Ohori, P Buneman Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988	111	1988
Polymorphism and type inference in database programming P Buneman, A Ohori ACM Transactions on Database Systems (TODS) 21 (1), 30-76, 1996	98	1996
A compilation method for ML-style polymorphic record calculi A Ohori Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992	98	1992
A typed context calculus M Hashimoto, A Ohori Theoretical Computer Science 266 (1-2), 249-272, 2001	91	2001
Lightweight fusion by fixed point promotion A Ohori, I Sasano ACM SIGPLAN Notices 42 (1), 143-154, 2007	71	2007
Semantics for communication primitives in a polymorphic language A Ohori, K Kato Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	71	1993
Static type inference for parametric classes A Ohori, P Buneman Conference proceedings on Object-oriented programming systems, languages and …, 1989	58	1989
Semantics of types for database objects A Ohori Theoretical Computer Science 76 (1), 53-91, 1990	52	1990
A simple semantics for ML polymorphism A Ohori Proceedings of the fourth international conference on Functional programming …, 1989	43	1989
Representing object identity in a pure functional language A Ohori International Conference on Database Theory, 39-55, 1990	42	1990
Making Standard ML a practical database programming language A Ohori, K Ueno Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	40	2011
A polymorphic calculus for views and object sharing A Ohori, K Tajima Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994	39	1994
The logical abstract machine: A Curry-Howard isomorphism for machine code A Ohori International Symposium on Functional and Logic Programming, 300-318, 1999	34	1999
A Curry-Howard isomorphism for compilation and program execution A Ohori International Conference on Typed Lambda Calculi and Applications, 280-294, 1999	26	1999
A Type System that Reconsiles Classes and Extents. P Buneman, A Ohori DBPL, 191-202, 1991	26	1991
Ordering and types in databases A Ohori	25	1989
Proof-directed de-compilation of low-level code S Katsumata, A Ohori Programming Languages and Systems: 10th European Symposium on Programming …, 2001	24	2001

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori