Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
people:elabrada [2018/10/10 05:22] – etanter | people:elabrada [2018/10/10 05:38] – [Research Interests] elabrada | ||
---|---|---|---|
Line 7: | Line 7: | ||
===== Research Interests ===== | ===== Research Interests ===== | ||
- | * Programming and Programming Languages. | + | * Programming Languages |
- | * Gradual Typing. | + | * Gradual Typing |
+ | * Parametric polymorphism | ||
+ | * Abstract Gradual Typing | ||