Differences

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

--- people:etanter [2022/03/07 14:18] – etanter
+++ people:etanter [2022/05/23 17:07] – [Publications] seaguile
@@ Line 15: / Line 15: @@
   * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!) - consider submitting!
   * {{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 197: / Line 197: @@
         * Guillaume Pothier: [[http://repositorio.uchile.cl/handle/2250/102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
     * //Former MSc students://
-        * Damián Árquez: Gradual Sensitivity Typing [co-advised with Matías Toro]. Defended 23/11/2021.
+        * Damián Árquez: [[https://repositorio.uchile.cl/handle/2250/182959|Gradual Sensitivity Typing]] [co-advised with Matías Toro]. Defended 23/11/2021.
         * Hans Fehrmann: [[http://repositorio.uchile.cl/handle/2250/179353|A Reasonably Exceptional Type Theory]] [co-advised with Nicolas Tabareau]. Defended 29/12/2020.
         * Fabian Mosso: [[http://repositorio.uchile.cl/handle/2250/176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.
@@ Line 214: / Line 214: @@
 ===== 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 226: @@
 <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 235: @@
 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]]