Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sat 19 Jan 2019 14:50 - 15:30 at Sala VI - Contributed Talks 3 & Coq Developers Chair(s): Qinxiang Cao

Sat 19 Jan

CoqPL-2019
14:00 - 15:30: CoqPL - Contributed Talks 3 & Coq Developers at Sala VI
Chair(s): Qinxiang CaoShanghai Jiao Tong University
CoqPL-201914:00 - 14:25
Talk
Vadim ZalivaCarnegie Mellon University, USA, Matthieu SozeauInria
File Attached
CoqPL-201914:25 - 14:50
Talk
File Attached
CoqPL-201914:50 - 15:30
Demonstration