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