Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
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

APLAS 2019Author of Existential Types for Relaxed Noninterference within the Research Papers-track
Show activities from other conferences

Using general profile