POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 10:30 - 10:50 at Salle 105, Barre 44-54 - Session 2 Chair(s): Chad Scherrer

Tue 17 Jan

pps-2017
10:30 - 12:00: PPS - Session 2 at Salle 105, Barre 44-54
Chair(s): Chad ScherrerGalois, Inc.
pps-201710:30 - 10:50
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
pps-201710:50 - 11:00
Meeting
pps-201711:00 - 11:20
Talk
pps-201711:20 - 11:30
Meeting
pps-201711:30 - 11:50
Talk
Adam ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
pps-201711:50 - 12:00
Meeting