Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
people:etanter [2021/11/03 09:41] – etanterpeople:etanter [2021/11/03 09:42] – etanter
Line 21: Line 21:
   * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]   * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]
  
- 
-===== Research Interests ===== 
- 
-    * programming and programming languages: design, semantics, implementation, analysis, type systems, verification 
-    * software modularity and adaptability 
-    * objects, functions, aspects, reflection, meta-programming, concurrency, distribution, mobility, etc. etc. 
-    * practice of programming: tool support, debugging, code mining, user experiments 
  
 ===== Academic Activities ===== ===== Academic Activities =====