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


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