Martin Bodin

Registered user since Mon 25 Jun 2018

Name: Martin Bodin

Affiliation: CMM

Personal website: http://www.cmm.uchile.cl/~mbodin/

Contributions

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

POPL 2018-profile
View general profile