POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / CPP 2017 (series) / CPP 2017 /

Type-and-scope safe programs and their proofs

Guillaume Allais, James Chapman, Conor McBride, James McKinna
CPP 2017
Tue 17 Jan 2017 16:00 - 16:30 at Auditorium - Formal verification of programming language foundations
small-avatar
Guillaume Allais
Radboud University Nijmegen
France
small-avatar
James Chapman
small-avatar
Conor McBride
James McKinna
James McKinna
University of Edinburgh

Tue 17 Jan

CPP-2017
16:00 - 17:30: CPP - Formal verification of programming language foundations at Auditorium
CPP-201716:00 - 16:30
Talk
Guillaume AllaisRadboud University Nijmegen, James Chapman, Conor McBride, James McKinnaUniversity of Edinburgh
CPP-201716:30 - 17:00
Talk
Brandon Bohrer, Vincent RahliSnT, Ivana Vukotic, Marcus Voelp, André Platzer
CPP-201717:00 - 17:30
Talk
Jonas Kaiser, Tobias Tebbi, Gert SmolkaSaarland University