Atsushi Ohori

Available identifiers

zbMath Open ohori.atsushiMaRDI QIDQ915442

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Atsushi Ohori