Publications

3 results for Atsushi Igarashi

On polymorphic gradual typing
- - Yuu Igarashi
  - Taro Sekiyama
  - et al.
- 2017
- Proceedings of the ACM on Programming Languages
Polymorphic manifest contracts, revised and resolved
- - Taro Sekiyama
  - Atsushi Igarashi
  - et al.
- 2017
- ACM TOPLAS
Stateful manifest contracts
- - Taro Sekiyama
  - Atsushi Igarashi
- 2017
- POPL 2017

On polymorphic gradual typing