Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 3 Sep

Displayed time zone: Belfast change

09:00 - 09:10
WelcomePLMW at L1
Chair(s): Brigitte Pientka McGill University
09:00
10m
Talk
Welcome
PLMW
Brigitte Pientka McGill University, Neel Krishnaswami Computer Laboratory, University of Cambridge, Daniel R. Licata Wesleyan University
09:10 - 10:00
KeynotePLMW at L1
Chair(s): Neel Krishnaswami Computer Laboratory, University of Cambridge
09:10
50m
Talk
Keynote
PLMW
Chris Martens North Carolina State University
10:30 - 11:30
Session 1PLMW at L1
10:30
30m
Talk
A Few Frank Remarks
PLMW
11:00
30m
Talk
Compositional Compiler Correctness
PLMW
Amal Ahmed Northeastern University, USA
File Attached
12:00 - 12:30
Session 2PLMW at L1
12:00
30m
Talk
Not How To Do Your PhD
PLMW
Gabriel Scherer Northeastern University
File Attached
14:00 - 15:00
Session 3PLMW at L1
14:00
30m
Talk
Gradual Typing
PLMW
Ronald Garcia University of British Columbia
File Attached
14:30
30m
Talk
Scala: Types in Theory & Practice
PLMW
Nada Amin University of Cambridge
File Attached
16:50 - 17:40
Session 5PLMW at L1
16:50
50m
Talk
Panel Discussion: Careers in Programming Languages
PLMW
Sam Staton University of Oxford, Richard A. Eisenberg Bryn Mawr College, USA, Andreas Rossberg Google, Daan Leijen , Amal Ahmed Northeastern University, USA