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 08:37] – [Research Interests] elabradapeople:elabrada [2022/05/23 20:08] (current) – [Publications] seaguile
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
  
  
Line 25: 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>