Searching for authors named Atsushi Igarashi – sorted by Relevance.
-
Type-Based Analysis Of Usage Of Values For Concurrent Programming Languages
- ?%7%9%F%`$K$h$kCM$N;HMQ2s?t$N2r@O by Atsushi Igarashi 8^==Mr =_ A Master's Thesis Submitted
- Cited by 5 (3 self) – Add To MetaCart
-
Garbage Collection Based on a Linear Type System
- Garbage Collection Based on a Linear Type System Atsushi Igarashi Dept. of Graphics and Computer
- Cited by 7 (2 self) – Add To MetaCart
-
Type Reconstruction for Linear Pi-Calculus with I/O Subtyping
- Type Reconstruction for Linear Pi-Calculus with I/O Subtyping Atsushi Igarashi Naoki Kobayashi
- Cited by 11 (7 self) – Add To MetaCart
-
Type-based Analysis of Communication for Concurrent Programming Languages
- Type-based Analysis of Communication for Concurrent Programming Languages Atsushi Igarashi
- Cited by 3 (1 self) – Add To MetaCart
-
On variance-based subtyping for parametric types
- On Variance-Based Subtyping for Parametric Types Atsushi Igarashi 1 and Mirko Viroli 2 1 Graduate
- Cited by 16 (0 self) – Add To MetaCart
-
A Generic Type System for the Pi-Calculus
- A Generic Type System for the Pi-Calculus # Atsushi Igarashi Kyoto University email:igarashi
- Cited by 72 (7 self) – Add To MetaCart
-
Resource Usage Analysis
- Resource Usage Analysis Atsushi Igarashi Department of Graphics and Computer Science Graduate
- Cited by 62 (2 self) – Add To MetaCart
-
Projective Differential Stereo Vision with Robust Segmentation by M-estimation
- , Japan 1 3-4 Projective Differential Stereo Vision with Robust Segmentation by M-estimation Atsushi
- Add To MetaCart
-
Foundations for Virtual Types
- Foundations for Virtual Types Atsushi Igarashi Benjamin C. Pierce Department of Computer
- Cited by 20 (1 self) – Add To MetaCart
-
On Inner Classes
- On Inner Classes 1 Atsushi Igarashi 2 Department of Graphics and Computer Science Graduate School
- Cited by 26 (4 self) – Add To MetaCart

