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 4890

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