| 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 | 216 | 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 | 162 | 1991 |
| Type inference in a database programming language A Ohori, P Buneman Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988 | 109 | 1988 |
| A compilation method for ML-style polymorphic record calculi A Ohori Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 99 | 1992 |
| 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 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 | 68 | 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 |
| 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 |
| Representing object identity in a pure functional language A Ohori International Conference on Database Theory, 39-55, 1990 | 40 | 1990 |
| A polymorphic calculus for views and object sharing A Ohori, K Tajima Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994 | 37 | 1994 |
| The logical abstract machine: A Curry-Howard isomorphism for machine code A Ohori International Symposium on Functional and Logic Programming, 300-318, 1999 | 33 | 1999 |
| A Type System that Reconsiles Classes and Extents. P Buneman, A Ohori DBPL, 191-202, 1991 | 26 | 1991 |
| A Curry-Howard isomorphism for compilation and program execution A Ohori International Conference on Typed Lambda Calculi and Applications, 280-294, 1999 | 25 | 1999 |
| Proof-directed de-compilation of low-level code S Katsumata, A Ohori Programming Languages and Systems: 10th European Symposium on Programming …, 2001 | 24 | 2001 |
| Ordering and types in databases A Ohori | 24 | 1989 |
Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk
