Write a Blog >>
Raimil Cruz

Registered user since Wed 11 Jan 2017

Name:Raimil Cruz
Affiliation:University of Chile
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