lightweight functional session types

Author: slindley

index.html

@@ -85,6 +85,8 @@ <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>.
+	    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>.