Atsushi Ohori

Available identifiers

zbMath Open ohori.atsushiMaRDI QIDQ915442

List of research outcomes

Publication	Date of Publication	Type
A Compilation Method for Dynamic Typing in ML	2023-03-29	Paper
A fully concurrent garbage collector for functional programs on multicore processors	2017-05-10	Paper
Type inference with rank 1 polymorphism for type-directed compilation of ML	2016-09-01	Paper
The essence of Ruby	2016-02-26	Paper
An interoperable calculus for external object access	2015-10-07	Paper
A static type system for JVM access control	2015-07-02	Paper
Lightweight fusion by fixed point promotion	2014-09-12	Paper
Dynamic programming via thinning and incrementalization	2014-07-24	Paper
Programming Languages and Systems	2005-08-17	Paper
Register allocation by proof transformation	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417907	2003-07-30	Paper
Type-directed specialization of polymorphism.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766791	2002-07-22	Paper
A typed context calculus	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763683	2002-01-21	Paper
Parallel functional programming on recursively defined data via data-parallel recursion	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4703039	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263876	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4364385	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4694687	1993-06-29	Paper
Using powerdomains to generalize relational databases	1992-06-28	Paper
Semantics of types for database objects	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3798214	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785905	1986-01-01	Paper

Research outcomes over time

This page was built for person: Atsushi Ohori