Some updates (#11)

* Some updates.

* Added Tang et al. (2024) to the publication list
* Moved Rudi and Jan to alumni list
* Added Wenhao to the core team

* Update index.html

Co-authored-by: James Cheney <jcheney@inf.ed.ac.uk>

---------

Co-authored-by: James Cheney <jcheney@inf.ed.ac.uk>

index.html

@@ -91,7 +91,9 @@ <h2>About Links</h2>
 
       <section class="publications-section">
         <h2>Publications</h2>
-      <ul>
+        <ul>
+          <li><a href="https://doi.org/10.1145/3632896">Soundly Handling Linearity</a>. Wenhao Tang, Daniel Hillerstr&ouml;m, Sam Lindley, and J. Garrett Morris. POPL 2024 (distinguished paper).
+          </li>
           <li><a href="https://arxiv.org/abs/2210.12077">Language-Integrated Query for Temporal Data</a>. Simon Fowler, Vashti Galpin, and James Cheney. GPCE 2022.</li>
 	      <li><a href="https://arxiv.org/abs/2107.10793">A Typed Slicing Compilation of the Polymorphic RPC Calculus</a>.
 	    Kwanghoon Choi, James Cheney, Sam Lindley, and Bob Reynders.
@@ -270,18 +272,19 @@ <h2>Core team</h2>
           <li><a href="http://simonjf.com/">Simon Fowler</a>.</li>
           <li><a href="https://homepages.inf.ed.ac.uk/vgalpin1/">Vashti Galpin</a>.</li>
           <li><a href="https://www.dhil.net/research/">Daniel Hillerstr&ouml;m</a>.</li>
-          <li><a href="http://rudi-horn.de/About">Rudi Horn</a>.</li>
           <li><a href="http://homepages.inf.ed.ac.uk/slindley/">Sam Lindley</a>.</li>
           <li><a href="http://www.wilmer-ricciotti.net/index.shtml">Wilmer Ricciotti</a>.</li>
-          <li><a href="http://ics.p.lodz.pl/~stolarek">Jan Stolarek</a>.</li>
+          <li><a href="http://https://thwfhk.github.io/">Wenhao Tang</a>.</li>
           <li><a href="http://homepages.inf.ed.ac.uk/wadler/">Philip Wadler</a>.</li>
         </ul>
         <h2>Alumni</h2>
         <ul>
           <li>Ezra Cooper.</li>
           <li>Gilles Dubochet.</li>
           <li><a href="http://stefan-fehrenbach.net/">Stefan Fehrenbach</a>.</li>
+          <li><a href="http://rudi-horn.de/About">Rudi Horn</a>.</li>
           <li><a href="https://jgbm.github.io/">Garrett Morris</a>.</li>
+          <li><a href="https://jstolarek.github.io/">Jan Stolarek</a>.</li>
           <li>Jeremy Yallop.</li>
         </ul>
       </section>