Atsushi Ohori's research works
Atsushi Ohori's research works | Tohoku University ... - ResearchGate
Atsushi Ohori's 77 research works with 1365 citations and 2255 reads, including: Concurrent and parallel garbage collection for lightweight threads on ...
Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi: A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.
Atsushi Ohori - Home - ACM Digital Library
Atsushi Ohori. Search within Atsushi Ohori's work. SearchSearch. Home · Atsushi ... research-article. Open Access. Finitary polymorphism for optimizing type ...
Atsushi Ohori - Google 학술 검색
Tohoku University - 인용 횟수 1947번 - Programming Languages - Databases
Atsushi Ohori. Registered user since Fri 15 Apr 2016. Name ... 2019. ICFP. Committee Member in External Review Committee within the Research Papers-track ...
Polymorphism and Type Inference in Database Programming
Peter Buneman was partly supported by research grants NSF IRI86-10617 and ARO DAA6-29-. 84-K-0061; Atsushi Ohori's work was supported by Oki Electric Industry, ...
Database Programming In Machiavelli - A Polymorphic Language ...
Atsushi Ohori. Peter Buneman. Val Breazu- Tannen. Department of Computer and ... 'This research was supported in part by grants NSF IR186-10617, ARO DAA6 ...
A typed context calculus - ScienceDirect
Atsushi Ohori's work was partly supported by the Japanese Ministry of Education Grant-in-Aid for Scientific Research on Priority Area no. 275: “Advanced ...
Type system for specializing polymorphism - SpringerLink
Research Institute for Mathematical Sciences, Kyoto University, Sakyo-ku, 606, Kyoto, Japan. Atsushi Ohori. Authors. Atsushi Ohori. View author ...
A polymorphic record calculus and its compilation
ATSUSHI OHORI. Kyoto University. The motivation of this work is to provide a type-theoretical basis for developing a practical poly- morphic programming.
Atsushi Ohori - researchr alias
... review your related work, and share bibliographies with your co-authors. Publications by 'Atsushi Ohori'. Publications; Advised. Viewing Publication 1 - 63 ...
researchmap is an information sharing platform for the researchers. researchmap is provided by Japan Science and Technology Agency.
A compilation method for ML-style polymorphic record calculi
A compilation method for ML-style polymorphic record calculi. Author: Atsushi Ohori ... Technical report, DEC Systems Research Center, 1991. Google Scholar.
Atsushi Ohori - Google 学术搜索
Tohoku University - 引用次数：1948 次 - Programming Languages - Databases
Comparing Type-Based and Proof-Directed Decompilation
... Ohori's work on the sequential sequent ... Register Allocation by Proof Transformation. February 2003 · Science of Computer Programming. Atsushi Ohori.
Atsushi Ohori - The University of Tokyo Faculty of Literature
Atsushi Ohori. (大堀 淳). Modified on: 09/21 ... Misc. Books and Other Publications · Presentations · Works · Research Projects. Education. Apr, 1976 - Mar, 1981 ...
Atsushi Ohori - A Calculus with Partially Dynamic ... - YouTube
This Talk: http://2016.ecoop.org/event/ecoop-2016-papers-a-calculus-with-partially-dynamic-records-for-typeful-manipulation-of-json-objects.
A Domain Theoretic Approach to Higher-order Relations
A Domain Theoretic Approach to Higher-order Relations. Peter Buneman, Atsushi Ohori. School of Informatics. Research output: ...
ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the ...
Type-Directed Specialization of Polymorphism - ScienceDirect
Type-Directed Specialization of Polymorphism☆. Author links open overlay panel. Atsushi Ohori 2 ... Research on Priority Area 275; “advanced databases,” and ...