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