Write a Blog >>
CoqPL 2017
Sat 21 Jan 2017
co-located with POPL 2017
Sat 21 Jan 2017 16:25 - 16:50 at Auditorium - Afternoon Session Chair(s): Matthieu Sozeau
Abstract (CoqPL_2017_paper_3.pdf)134KiB