conf.researchr.org / Raimil Cruz
Registered user since Wed 11 Jan 2017
Name:Raimil Cruz
Country:Chile
Affiliation:University of Chile
Personal website: https://pleiad.cl/people/racruz
Research interests:information-flow control, gradual typing
Contributions