Вы здесь

Ohori A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Calculus for Exploiting Data Parallelism on Recursively Defined Data 1995 Nishimura S., Ohori A. Lecture Notes in Computer Science 19.05.1995
СТ An Equatorial Object-Oriented Data Model and Its Data- Parallel Query Language 1996 Nishimura S., Ohori A., Tajima K. SIGPLAN Notices 20.02.1997
П Developments in Database Programming Languages 1990 Buneman P., Ohori A. Univ. Glasgow 12.02.1991
П Persistence and Type Abstraction Revisited 1990 Ohori A., Tabkha I., Connor R., Philbrow P. Univ. Glasgow 12.02.1991
П Polymorphism and Type Inference in Database Programming 1990 Buneman P., Ohori A. Univ. Glasgow 12.02.1991
СТ Proof-Directed De-compilation of Low-Level Code 2001 Katsumata S., Ohori A. Lecture Notes in Computer Science 28.04.2001
СТ Register Allocation by Proof Transformation 2003 Ohori A. Lecture Notes in Computer Science 16.04.2003
СТ Representing Object Identity in a Pure Fuctional Language 1990 Ohori A. Lecture Notes in Computer Science 16.03.1991
П Representing Object Identity in a Pure Functional Language 1990 Ohori A. Univ. Glasgow 12.02.1991
СТ Semantics of Types for Database Objects 1990 Ohori A. Theoretical Computer Science 16.03.1991
СТ Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML 1999 Ohori A., Yoshida N. SIGPLAN Notices 20.12.1999