Merge branch 'master' of github.com:links-lang/links-lang.github.io

Author: slindley

index.html

@@ -58,7 +58,7 @@ <h1>Links: Linking Theory to Practice for the Web</h1>
 
 	   <li>
        Install with <a href="http://opam.ocaml.org">OPAM</a>: use 'opam install links'.
-       See the <a href="https://github.com/links-lang/links/blob/sessions/INSTALL">Links OPAM install instructions</a>.
+       See the <a href="https://github.com/links-lang/links/blob/master/INSTALL">Links OPAM install instructions</a>.
            </li>
 	   <li>
             <a href="https://github.com/links-lang/links">
@@ -85,7 +85,9 @@ <h1>Links: Linking Theory to Practice for the Web</h1>
 
       <p> <h3>Publications</h3>
         <ul>
-          <li><a href="http://dx.doi.org/10.1145/2967973.2968604">Lightweight functional session types</a>.
+          <li><a href="http://homepages.inf.ed.ac.uk/slindley/papers/handlers-cps.pdf">Continuation Passing Style for Effect Handlers</a>.
+	    Daniel Hillerstr&ouml;m, Sam Lindley, Robert Atkey, and KC Sivaramakrishnan. <a href="https://www.cs.ox.ac.uk/conferences/fscd2017/">FSCD 2017</a>.</li>
+          <li><a href="http://homepages.inf.ed.ac.uk/slindley/papers/fst.pdf">Lightweight functional session types</a>.
 	    Sam Lindley and J. Garrett Morris. In <a href="http://www.riverpublishers.com/book_details.php?book_id=439">Behavioural Types: from Theory to Tools</a>, River publishers, 2017.</li>
           <li><a href="papers/PPDP2016FehrenbachC.pdf">Language-integrated provenance</a>.
 	    Stefan Fehrenbach and James Cheney. <a href="http://dx.doi.org/10.1145/2967973.2968604">PPDP 2016</a>.</li>