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
| ECOOP 2017 | Type Abstraction for Relaxed Noninterference Committee Member in Program Committee within the ECOOP Doctoral Symposium-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile