This is an old revision of the document!


Elizabeth Labrada Deniz

Ph.D. Student elabrada@dcc.uchile.cl
University of Chile Beauchef 851, of.304, Santiago, Chile
Computer Science Department (DCC) fax: +56 2 2689 5531
PLEIAD Lab phone: +56 2 2978 4953

Research Interests

  • Programming and Programming languages
  • Gradual Typing

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 others features.