Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sun 23 Sep 2018 14:53 - 15:01 at Illinois Central - Types Chair(s): Niki Vazou

Sun 23 Sep

hiw-2018-papers
13:30 - 15:10: HIW 2018 - Types at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
hiw-2018-papers13:30 - 13:55
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA
Link to publication File Attached
hiw-2018-papers13:55 - 14:20
Talk
My NguyenBryn Mawr College
File Attached
hiw-2018-papers14:20 - 14:45
Talk
Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O
Media Attached
hiw-2018-papers14:45 - 14:53
Talk
Link to publication File Attached
hiw-2018-papers14:53 - 15:01
Talk
Shao ChengTweag I/O
Media Attached
hiw-2018-papers15:01 - 15:10
Talk