POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 10:55 - 11:20 at Auditorium - Morning Session Chair(s): Alan Schmitt
Abstract (CoqPL_2017_paper_2.pdf)223KiB

Sat 21 Jan

main
10:30 - 12:10: CoqPL 2017 - Morning Session at Auditorium
Chair(s): Alan SchmittInria
main148499100000010:30 - 10:55
Talk
File Attached
main148499250000010:55 - 11:20
Talk
Amin Timanyimec - Distrinet, KU Leuven, Robbert KrebbersDelft University of Technology, Netherlands, Lars BirkedalAarhus University
File Attached
main148499400000011:20 - 11:45
Talk
File Attached
main148499550000011:45 - 12:10
Talk
File Attached