* Add Thomas and Nick theses

Author: jamescheney

index.html

@@ -212,6 +212,7 @@ <h2>Visitors</h2>
       <section class="undergrad-section">
         <h2>Undergraduate projects</h2>
         <ul>
+          <li><a href="papers/undergrads/ug4_20181051.pdf">TryLinks: an interactive online platform to learn the Links programming language</a>.  Nick Wu (2018).</li>
           <li>Building Bobcat - a web content management system in Links.
            Simon Vansintjan (2010).</li>
           <li>Web Menace: Links demonstration of a classic learning machine.
@@ -232,6 +233,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="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>.
@@ -258,7 +260,9 @@ <h2>MSc Projects</h2>
       <section class="interns-section">
         <h2>Interns</h2>
         <ul>
-<li>Thomas Weber, May-October 2017.  Thomas worked on <em>uselets</em>, a new abstraction for UI programming in Links, and made several contributions including a cleanup of the JavaScript runtime code, a resdesign of this home page, and the Links logo.</li>
+<li>Arek Mikolajczak, June-August 2018.</li>
+<li>Nicole Meng, June-July 2018.</li>
+<li>Thomas Weber, May-October 2017.  Thomas worked on <em>uselets</em>, a new abstraction for UI programming in Links, and made several contributions including a cleanup of the JavaScript runtime code, a redesign of this home page, and the Links logo.  He also developed the <a href="https://github.com/elordin/uselets">Uselets</a> library and examples.</li>
 <li>Jake Browning, Summer 2017.
     Jake implemented a reactive programming library for Links inspired by Elm.</li>
 <li>Sára Decova, Summer 2017.