Searching for authors named "Atsushi Ohori" – sorted by Relevance.
-
Register allocation by proof transformation
- Register Allocation by Proof Transformation ⋆ Atsushi Ohori Japan Advanced Institute of Science
- Cited by 6 (2 self) – Add To MetaCart
-
A Curry-Howard Isomorphism for Compilation and Program Execution (Extended Abstract)
- A Curry-Howard Isomorphism for Compilation and Program Execution (Extended Abstract) ? Atsushi
- Cited by 3 (2 self) – Add To MetaCart
-
Orderings and types in databases
- Orderings and Types in Databases ∗ Atsushi Ohori † Department of Computer and Information Science
- Cited by 6 (0 self) – Add To MetaCart
-
Type-directed specialization of polymorphism
- Type-Directed Specialization of Polymorphism ∗ Atsushi Ohori † Research Institute for Mathematical
- Cited by 5 (1 self) – Add To MetaCart
-
Type system for specializing polymorphism
- Type System for Specializing Polymorphism ⋆ Atsushi Ohori ⋆⋆ Research Institute for Mathematical
- Cited by 1 (0 self) – Add To MetaCart
-
A compilation method for ML-style polymorphic record calculi
- , pages 154–165, 1992 (a few minor errors corrected.) Atsushi Ohori Oki Electric Industry, Kansai
- Cited by 62 (7 self) – Add To MetaCart
-
A Polymorphic Record Calculus and Its Compilation
- A Polymorphic Record Calculus and Its Compilation ATSUSHI OHORI Kyoto University The motivation
- Cited by 65 (8 self) – Add To MetaCart
-
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion
- Functional Programming on Recursively Dened Data via Data-Parallel Recursion y z Susumu Nishimura Atsushi
- Add To MetaCart
-
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML Atsushi Ohori y
- Cited by 5 (0 self) – Add To MetaCart
-
Static type inference for parametric classes
- Static Type Inference for Parametric Classes ∗ Atsushi Ohori Peter Buneman Abstract Method
- Cited by 24 (5 self) – Add To MetaCart

