Raimil Cruz - APLAS 2019

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

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

2019

APLAS

Existential Types for Relaxed Noninterference

Show activities from other conferences

APLAS 2019-profile
View general profile