Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 12:00 - 12:30 at L3 - Rust

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

12:00 - 12:30: RustHOPE at L3
12:00 - 12:30
Talk
HOPE
Ralf JungMPI-SWS, Germany, Jacques-Henri JourdanMPI-SWS, Germany, Robbert KrebbersDelft University of Technology, Netherlands, Derek DreyerMPI-SWS