Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
people:elabrada [2016/07/21 17:38] – elabradapeople:elabrada [2017/04/05 11:53] – [Research Interests] elabrada
Line 1: Line 1:
-|     {{private:elabrada_eli.jpg?nolink|Elizabeth Labrada Deniz}}     || +|{{people:elizabeth.png?nolink}}|<html><h2>Elizabeth Labrada Deniz</h2></html> |   | 
-|  **Elizabeth Labrada Deniz**  || +|:::| Ph.D. Student |   [[elabrada@dcc.uchile.cl]]|  
-| //PhD Student//|[[elabrada@dcc.uchile.cl]]| +|:::| [[http://www.uchile.cl|University of Chile]] |  Beauchef 851, of.304, Santiago, Chile|  
-| [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]]|fax: +56 2 2689 5531 | +|:::| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |   fax: +56 2 2689 5531| 
-| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] | phone: +56 2 29867692 | +|:::| [[http://pleiad.cl/|PLEIAD Lab]] |  phone: +56 2 2978 4890| 
-| [[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, type tests, implicits or other features.