The following pages link to Atsushi Ohori (Q915442):
Displaying 24 items.
- (Q236766) (redirect page) (← links)
- Semantics of types for database objects (Q915443) (← links)
- Using powerdomains to generalize relational databases (Q1183586) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Register allocation by proof transformation (Q1887736) (← links)
- (Q2763683) (← links)
- (Q2766791) (← links)
- The Essence of Ruby (Q2789039) (← links)
- Type inference with rank 1 polymorphism for type-directed compilation of ML (Q2817718) (← links)
- An interoperable calculus for external object access (Q2949193) (← links)
- A fully concurrent garbage collector for functional programs on multicore processors (Q2985792) (← links)
- Lightweight fusion by fixed point promotion (Q3189793) (← links)
- (Q3785905) (← links)
- (Q3798214) (← links)
- (Q4263876) (← links)
- (Q4364385) (← links)
- (Q4417907) (← links)
- (Q4694687) (← links)
- (Q4703039) (← links)
- Parallel functional programming on recursively defined data via data-parallel recursion (Q4943359) (← links)
- Dynamic Programming via Thinning and Incrementalization (Q5170711) (← links)
- A static type system for JVM access control (Q5261278) (← links)
- Programming Languages and Systems (Q5464039) (← links)
- A typed context calculus (Q5958759) (← links)
