Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
people:elabrada [2018/10/10 05:22] etanterpeople:elabrada [2022/05/23 17: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:
  
 <html> <html>
-<script>load_bibtex('elabrada')</script>+<script>window.addEventListener("load", function(event) { 
 +    load_bibtex('elabrada'); });</script>
 <div id="bibtex">Loading bibtex info...</div> <div id="bibtex">Loading bibtex info...</div>
 </html> </html>