Peter Sewell - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Registered user since Wed 14 Sep 2016

Name:Peter Sewell

Affiliation:University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~pes20/

Contributions

2020

POPL

Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track

HASE

Interactive Knowledge Shares

Show activities from other conferences

POPL 2020-profile
View general profile