Registered user since Fri 10 Jul 2020
Name:Artjoms Šinkarovs
Affiliation:University of Southampton
Personal website: http://ashinkarov.github.io/
Research interests:Type Theory, Array Languages, Dependent Types, Compilers
Contributions
Using general profile