Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
people:elabrada [2016/07/21 20:37] – elabrada | people:elabrada [2016/07/21 21:51] – elabrada | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | | | + | |{{people:elizabeth.png? |
- | | **Elizabeth Labrada Deniz** | + | |:::| Ph.D. Student | |
- | | //PhD Student//|[[elabrada@dcc.uchile.cl]]| | + | |:::| [[http://www.uchile.cl|University of Chile]] | |
- | | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]]|fax: +56 2 2689 5531 | | + | |:::| [[http:// |
- | | [[http:// | + | |:::| [[http://pleiad.cl/|PLEIAD Lab]] | |
- | | [[http://www.uchile.cl|University of Chile]]|Beauchef 851, of.304 Santiago, Chile| | + | |
===== Research Interests ===== | ===== Research Interests ===== | ||
* Programming and Programming languages | * Programming and Programming languages | ||
* Gradual Typing | * Gradual Typing | ||
- | ===== Short Research Description ===== | ||
- | |||
- | |||
+ | ===== Short Research Description ===== | ||
+ | The meaning of gradual typing for languages where types influence the dynamic semantic, such as languages with overloading, | ||