Write a Blog >>
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

ECOOP 2017Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track
Committee Member in Program Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile