POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 10:30 - 10:55 at Auditorium - Morning Session Chair(s): Alan Schmitt
Abstract (CoqPL_2017_paper_1.pdf)141KiB

Sat 21 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change