Differences

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

--- people:etanter [2022/03/07 14:15] – etanter
+++ people:etanter [2022/03/21 12:59] – 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!
   * {{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]]
@@ Line 196: / 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.