Registered user since Thu 27 Aug 2015
Name:Matías Toro
Country:Chile
Affiliation:University of Chile
Personal website: https://pleiad.cl/people/mtoro
GitHub: https://github.com/matiastoro
Research interests:Type Systems, Gradual Typing, Differential Privacy, Information Flow
Contributions
Using general profile