Differences

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

--- people:etanter [2022/03/21 12:59] – etanter
+++ people:etanter [2022/06/11 19:48] – etanter
@@ Line 13: / Line 13: @@
 ===== News ======
-  * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!) - consider submitting!
+  * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!)
+  * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed  Programming}} accepted at
+  * [[https://icfp22.sigplan.org/|ICFP 2022]]
   * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]]
-  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]]
+  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]]
   * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]]
   * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} presented at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]
@@ Line 214: / Line 216: @@
 ===== Publications =====
-Online profiles: [[http://scholar.google.com/citations?user=d0LISE4AAAAJ|Google Scholar]]     [[https://www.researchgate.net/profile/Eric_Tanter|ResearchGate]]
+Online profiles: [[http://scholar.google.com/citations?user=d0LISE4AAAAJ|Google Scholar]]     [[https://www.researchgate.net/profile/Eri
+c_Tanter|ResearchGate]]
 Online libraries and indices: [[http://dblp.uni-trier.de/db/indices/a-tree/t/Tanter:=Eacute=ric.html|DBLP]]   [[http://portal.acm.org/author_page.cfm?id=81100346970|ACM]]   [[http://www.springerlink.com/content/?k=eric+tanter|SpringerLink]]
@@ Line 225: / Line 228: @@
 <html>
-<script>load_bibtex('etanter')</script>
+<script>window.addEventListener("load", function(event) {
+    load_bibtex('etanter'); });</script>
 <div id="bibtex">Loading bibtex info...</div>
 </html>
@@ Line 233: / Line 237: @@
 I teach several [[teaching:|courses]] related to programming languages.
-In particular, I use Shriram Krishnamurthi's [[http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/|PLAI]] book for the first PL course. I have written a couple of add-ons for PLAI:
+In particular, I use Shriram Krishnamurthi's [[http://www.c
+s.brown.edu/~sk/Publications/Books/ProgLangs/|PLAI]] book for the first PL course. I have written a couple of add-ons for PLAI:
   * [[http://www.dcc.uchile.cl/~etanter/preplai|PrePLAI]]: crash course on Scheme and functional programming (in spanish)
   * [[http://users.dcc.uchile.cl/~etanter/scope/|A Note on Scope]]