Searching for authors named "Atsushi Ohori" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
