POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 16:25 - 16:50 at Auditorium - Afternoon Session Chair(s): Matthieu Sozeau
Abstract (CoqPL_2017_paper_3.pdf)134KiB