update some dead links

Author: slindley

index.html

@@ -188,14 +188,14 @@ <h2>Publications</h2>
             Stefan Fehrenbach and James Cheney. <a href="http://dx.doi.org/10.1145/2967973.2968604">PPDP 2016</a>.
           </li>
           <li>
-            <a href="http://homepages.inf.ed.ac.uk/s1467124/papers/mlabstract2016.pdf">Compiling Links Effect Handlers to the OCaml Backend</a>.
+            <a href="https://dhil.net/research/papers/mlabstract2016.pdf">Compiling Links Effect Handlers to the OCaml Backend</a>.
             Daniel Hillerstr&ouml;m, Sam Lindley, and KC Sivaramakrishnan.
-            <a href="http://www.mlworkshop.org/ml2016">ML Workshop 2016</a>.
+            <a href="https://icfp16.sigplan.org/track/mlfamilyworkshop-2016-papers">ML Workshop 2016</a>.
           </li>
           <li>
-            <a href="http://homepages.inf.ed.ac.uk/s1467124/papers/liberating_effects-tyde2016.pdf">Liberating Effects with Rows and Handlers</a>.
+            <a href="https://homepages.inf.ed.ac.uk/slindley/papers/links-effect.pdf">Liberating Effects with Rows and Handlers</a>.
             Daniel Hillerstr&ouml;m and Sam Lindley. In the proceedings of
-            <a href="http://conf.researchr.org/track/icfp-2016/tyde-2016-papers">TyDe 2016</a>.
+            <a href="https://icfp16.sigplan.org/track/tyde-2016-papers">TyDe 2016</a>.
           </li>
           <li>
             <a href="http://homepages.inf.ed.ac.uk/slindley/papers/effquot.pdf">Effective quotation</a>.