P

Author: slindley

index.html

@@ -88,7 +88,7 @@ <h1>Links: Linking Theory to Practice for the Web</h1>
           <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>
+	    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>
 	  <li><a href="http://homepages.inf.ed.ac.uk/s1467124/papers/mlabstract2016.pdf">Compiling Links Effect Handlers to the OCaml Backend</a>.