Not registered as user yet
Name: Martin Bodin
Affiliation: CMM
Personal website: http://www.cmm.uchile.cl/~mbodin/
Contributions
| CoqPL 2018 | Author of A Coq Formalisation of a Core of R within the -track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile