Registered user since Fri 3 Jul 2015
Name:Zhiyuan Shi
Affiliation:University of Hong Kong, China
Contributions
| ICFP 2016 | Disjoint Intersection Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2016-profile
View general profile
View general profile
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
- Attending
- Program
- Tracks
- Organization
- ICFP 2016 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers Program Committee
- Research Papers External Review Committee
- Tutorials
- Contributors
- People Index
- Search
- Series