* typos

Author: jamescheney

index.html

@@ -89,9 +89,10 @@ <h2>About Links</h2>
       <section class="publications-section">
         <h2>Publications</h2>
         <ul>
+	  <li><a href="">Incremental Relational Lenses</a>. Rudi Horn, Roly Perera and James Cheney.  To appear, ICFP 2018.</li>
 	  <li>
 	    <a href="https://doi.org/10.1016/j.scico.2017.08.009">Language-integrated provenance</a>.
-            Stefan Fehrenbach and James Cheney. Science of Computer Programming (in press).
+            Stefan Fehrenbach and James Cheney. Science of Computer Programming 155: 103-145 (2018).
           <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.
@@ -162,8 +163,8 @@ <h2>Publications</h2>
       <section class="grant-section">
         <h2>Grants</h2>
         <ul>
-          <li><a href="http://homepages.inf.ed.ac.uk/jcheney/group/skye.html">Skye</a>, ERC Consolidator Grant (2016--2021).</li>
-          <li><a href="http://groups.inf.ed.ac.uk/abcd/">A Basis for Concurrency and Distribution</a>, EPSRC Programme Grant (2013--2019).</li>
+          <li><a href="http://homepages.inf.ed.ac.uk/jcheney/group/skye.html">Skye</a>, ERC Consolidator Grant (2016-2021).</li>
+          <li><a href="http://groups.inf.ed.ac.uk/abcd/">A Basis for Concurrency and Distribution</a>, EPSRC Programme Grant (2013-2019).</li>
           <li><a href="epsrc05/case.pdf">Original grant proposal</a> for EPSRC (2005).
           </li>
           <li><a href="epsrc05/LShift_Links.pdf">Letter of support from LShift</a></li>
@@ -233,7 +234,7 @@ <h2>Undergraduate projects</h2>
       <section class="msc-section">
         <h2>MSc Projects</h2>
         <ul>
-          <li><a href="papers/mscs/Master_Thesis_Thomas_Weber_1450761.pdf">Uselets: UIs using Actors as an Abstraction for Composable Communicating Components</a>. Thomas Weber (LMU/University fo Augsburg/TU Munich, 2018).</li>
+          <li><a href="papers/mscs/Master_Thesis_Thomas_Weber_1450761.pdf">Uselets: UIs using Actors as an Abstraction for Composable Communicating Components</a>. Thomas Weber (LMU/University of Augsburg/TU Munich, 2018).</li>
           <li><a href="http://homepages.inf.ed.ac.uk/s1467124/papers/thesis2016.pdf">Compilation of Effect Handlers and their Applications in Concurrency</a>.
              Daniel Hillerström (2016). </li>
           <li><a href="http://project-archive.inf.ed.ac.uk/msc/20150206/msc_proj.pdf">Handlers for Algebraic Effects in Links</a>.