Martin Bodin

Registered user since Mon 25 Jun 2018

Name:Martin Bodin
Affiliation:CMM

Contributions

CoqPL 2018 A Coq Formalisation of a Core of R
Show activities from other conferences

POPL 2018-profile
View general profile