Raimil Cruz

Universidad de Chile - Santiago / Chile

Engineering & Technology / Computer Science

AD Scientific Index ID: 5397927

University of Chile

Registration, Add Profile,
Premium Membership

Print Your Certificate

Raimil Cruz's MOST POPULAR ARTICLES

1-) Type abstraction for relaxed noninterferenceR Cruz, T Rezk, BP Serpette, É TanterECOOP 2017-31st European Conference on Object-Oriented Programming, 1-27, 2017132017

2-) Existential types for relaxed noninterferenceR Cruz, É TanterAsian Symposium on Programming Languages and Systems, 73-92, 201932019

3-) Polymorphic relaxed noninterferenceR Cruz, É Tanter2019 IEEE Cybersecurity Development (SecDev), 101-113, 201932019

ARTICLES

Add your articles