This is an old revision of the document!
 |
|
| Raimil Cruz Concepción | |
| PhD Student | racruz@dcc.uchile.cl |
| PLEIAD Lab | Beauchef 851, of.313 |
| Computer Science Department (DCC) | Santiago, Chile |
| University of Chile | |
Research Interests
- Programming Languages
- Security typing
- Gradual typing