POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 11:45 - 12:10 at Auditorium - Morning Session Chair(s): Alan Schmitt
Abstract (CoqPL_2017_paper_10.pdf)184KiB