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=" | ||
| </ | </ | ||

