A Domain Theoretic Approach to Higher-Order Relations. - Peter Buneman; Atsushi Ohori (ICDT, 1986)

Orderings and Types in Databases. - Atsushi Ohori (DBPL, 1987)

Type Inference in a Database Programming Language. - Atsushi Ohori; Peter Buneman (LISP and Functional Programming, 1988)

Can Object-Oriented Databases be Statically Typed? - Val Tannen; Peter Buneman; Atsushi Ohori (DBPL, 1989)

A Simple Semantics for ML Polymorphism. - Atsushi Ohori (FPCA, 1989)

Static Type Inference for Parametric Classes. - Atsushi Ohori; Peter Buneman (OOPSLA, 1989)

Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. - Atsushi Ohori; Peter Buneman; Val Tannen (SIGMOD Conference, 1989)

Static Type-checking in Object-Oriented Databases. - Val Tannen; Peter Buneman; Atsushi Ohori (IEEE Data Eng. Bull., 1989)

Typing Schemes for Objects with Locality. - Florian Matthes; Atsushi Ohori; Joachim W. Schmidt (East/West Database Workshop, 1990)

Representing Object Identity in a Pure Functional Language. - Atsushi Ohori (ICDT, 1990)

Persistence and Type Abstraction Revisited. - Atsushi Ohori; Ivan Tabkha; Richard C. H. Connor; Paul Philbrow (POS, 1990)

Semantics of Types for Database Objects. - Atsushi Ohori (Theor. Comput. Sci., 1990)

A Type System that Reconsiles Classes and Extents. - Peter Buneman; Atsushi Ohori (DBPL, 1991)

Data Structures and Data Types for Object-Oriented Databases. - Val Tannen; Peter Buneman; Atsushi Ohori (IEEE Data Eng. Bull., 1991)

Using Powerdomains to Generalize Relational Databases. - Peter Buneman; Achim Jung; Atsushi Ohori (Theor. Comput. Sci., 1991)

A Compilation Method for ML-Style Polymorphic Record Calculi. - Atsushi Ohori (POPL, 1992)

Keynote Discussion Session on Persistent Type Systems. - Richard C. H. Connor; Malcolm P. Atkinson 001; Giorgio Ghelli; Atsushi Ohori (POS, 1992)

Semantics for Communication Primitives in an Polymorphic Language. - Atsushi Ohori; Kazuhiko Kato (POPL, 1993)

A Polymorphic Calculus for Views and Object Sharing. - Atsushi Ohori; Keishi Tajima (PODS, 1994)

A Calculus for Exploiting Data Parallelism on Recursively Defined Data. - Susumu Nishimura; Atsushi Ohori (Theory and Practice of Parallel Programming, 1994)

A Polymorphic Record Calculus and Its Compilation. - Atsushi Ohori (ACM Trans. Program. Lang. Syst., 1995)

An Equational Object-Oriented Data Model and its Data-Parallel Query Language. - Susumu Nishimura; Atsushi Ohori; Keishi Tajima (OOPSLA, 1996)

Polymorphism and Type Inference in Database Programming. - Peter Buneman; Atsushi Ohori (ACM Trans. Database Syst., 1996)

Type System for Specializing Polymorphism. - Atsushi Ohori (TACS, 1997)

An Unboxed Operational Semantics for ML Polymorphism. - Atsushi Ohori; Tomonobu Takamizawa (LISP Symb. Comput., 1997)

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. - Atsushi Ohori (Fuji International Symposium on Functional and Logic Programming, 1999)

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. - Atsushi Ohori; Nobuaki Yoshida (ICFP, 1999)

A Curry-Howard Isomorphism for Compilation and Program Execution. - Atsushi Ohori (TLCA, 1999)

Type-Directed Specialization of Polymorphism. - Atsushi Ohori (Inf. Comput., 1999)

Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion. - Susumu Nishimura; Atsushi Ohori (J. Funct. Program., 1999)

Logical Analysis of Assembly Language. - Atsushi Ohori (APLAS, 2000)

Proof-Directed Compilation for Inter-operable Languages. - Atsushi Ohori (APLAS, 2001)

Proof-Directed De-compilation of Low-Level Code. - Shin-ya Katsumata; Atsushi Ohori (ESOP, 2001)

Comparing Type-Based and Proof-Directed Decompilation. - Alan Mycroft; Atsushi Ohori; Shin-ya Katsumata (WCRE, 2001)

A typed context calculus. - Masatomo Hashimoto; Atsushi Ohori (Theor. Comput. Sci., 2001)

An Interoperable Calculus for External Object Access. - Atsushi Ohori; Kiyoshi Yamatodani (APLAS, 2002)

Java bytecode as a typed term calculus. - Tomoyuki Higuchi; Atsushi Ohori (PPDP, 2002)

A Type Theory for Krivine-Style Evaluation and Compilation. - Kwanghoon Choi 001; Atsushi Ohori (APLAS, 2004)

Register allocation by proof transformation. - Atsushi Ohori (Sci. Comput. Program., 2004)

A type system equivalent to static single assignment. - Yutaka Matsuno; Atsushi Ohori (PPDP, 2006)

Compiling ML polymorphism with explicit layout bitmap. - Huu-Duc Nguyen; Atsushi Ohori (PPDP, 2006)

Lightweight fusion by fixed point promotion. - Atsushi Ohori; Isao Sasano (POPL, 2007)

A static type system for JVM access control. - Tomoyuki Higuchi; Atsushi Ohori (ACM Trans. Program. Lang. Syst., 2007)

A proof theory for machine code. - Atsushi Ohori (ACM Trans. Program. Lang. Syst., 2007)

A Flattening Strategy for SML Module Compilation and Its Implementation. - Bochao Liu; Atsushi Ohori (Inf. Media Technol., 2010)

Making standard ML a practical database programming language. - Atsushi Ohori; Katsuhiro Ueno (ICFP, 2011)

An efficient non-moving garbage collector for functional languages. - Katsuhiro Ueno; Atsushi Ohori; Toshiaki Otomo (ICFP, 2011)

Record Polymorphism: Its Development and Applications. - Atsushi Ohori (In Search of Elegance in the Theory and Practice of Computation, 2013)

The Essence of Ruby. - Katsuhiro Ueno; Yutaka Fukasawa; Akimasa Morihata; Atsushi Ohori (APLAS, 2014)

Dynamic Programming via Thinning and Incrementalization. - Akimasa Morihata; Masato Koishi; Atsushi Ohori (FLOPS, 2014)

SML# in industry: a practical ERP system development. - Atsushi Ohori; Katsuhiro Ueno; Kazunori Hoshi; Shinji Nozaki; Takashi Sato; Tasuku Makabe; Yuki Ito (ICFP, 2014)

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. - Atsushi Ohori; Katsuhiro Ueno; Tomohiro Sasaki; Daisuke Kikuchi (ECOOP, 2016)

A fully concurrent garbage collector for functional programs on multicore processors. - Katsuhiro Ueno; Atsushi Ohori (ICFP, 2016)

A Type Safe Access to Key-value Stores from Functional Languages. - Katsuhiro Ueno; Atsushi Ohori (J. Inf. Process., 2016)

A Foreign Language Interface from ML to Shell. - Katsuhiro Ueno; Atsushi Ohori (New Gener. Comput., 2016)

Finitary polymorphism for optimizing type-directed compilation. - Atsushi Ohori; Katsuhiro Ueno; Hisayuki Mima (Proc. ACM Program. Lang., 2018)

A Compilation Method for Dynamic Typing in ML. - Atsushi Ohori; Katsuhiro Ueno (APLAS, 2021)

Concurrent and parallel garbage collection for lightweight threads on multicore processors. - Katsuhiro Ueno; Atsushi Ohori (ISMM, 2022)