Stateful manifest contracts
- Taro Sekiyama
- Atsushi Igarashi
- 2017
- POPL 2017
Publications
Date
Featured collections
Popular topics
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