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

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