Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Affiliation: MPI-SWS

Personal website: http://www.mpi-sws.org/~dreyer

ICFP 2017 Activities

• Author of How to Write Papers and Give Talks That People Can Follow within the PLMW 2017-track in PLMW 2017
• Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track in HOPE 2017
• ICFP'19 General Chair in Steering Committee for ICFP 2017
• Show activities from other conferences