Registered user since Fri 21 Sep 2018
Name:Andrey Mokhov
Affiliation:Newcastle University, UK
Contributions
| CoqPL 2019 | Towards a Coq Formalisation of Build Systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile