Concepedia

Yuu Igarashi

YI

Statistics

Publications

1

Citations

41

H-Index

1

Active since

2017

Affiliations

IBM Research - Tokyo(Current)

Yuu Igarashi is an author at IBM Research - Tokyo specializing in engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

2017–2017

1

Publications

1

On polymorphic gradual typing

Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi · Proceedings of the ACM on Programming Languages · 2017 · 41 citations · Full text

, , +12

1–1 of 1