Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
people:elabrada [2018/10/10 08:22] – etanter | people:elabrada [2022/05/23 20:08] (current) – [Publications] seaguile | ||
---|---|---|---|
Line 7: | Line 7: | ||
===== Research Interests ===== | ===== Research Interests ===== | ||
- | * Programming and Programming Languages. | + | * Programming Languages |
- | * Gradual Typing. | + | * Gradual Typing |
+ | * Parametric polymorphism | ||
+ | * Abstract Gradual Typing | ||
Line 23: | Line 25: | ||
< | < | ||
- | < | + | < |
+ | | ||
<div id=" | <div id=" | ||
</ | </ | ||