Searching for authors named Atsushi Igarashi – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
