equal
deleted
inserted
replaced
266 <TR> |
266 <TR> |
267 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
267 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
268 <B>Forum</B> |
268 <B>Forum</B> |
269 I implemented Forum, a programming language based on classical linear logic, |
269 I implemented Forum, a programming language based on classical linear logic, |
270 as my M.Phil. thesis. This was joint work with |
270 as my M.Phil. thesis. This was joint work with |
271 <A HREF="http://www.inf.st-and.ac.uk/~rd/">Dr Roy Dyckhoff</A>. |
271 <A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Dr Roy Dyckhoff</A>. |
272 Details can be found |
272 Details can be found |
273 <A HREF="http://www.inf.st-and.ac.uk/~rd/logic/nonmac/">here</A> and |
273 <A HREF="http://www.cs.st-andrews.ac.uk/~rd/logic/nonmac/">here</A> and |
274 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my |
274 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my |
275 M.Phil study I spent one month in Philadelphia invited by |
275 M.Phil study I spent one month in Philadelphia invited by |
276 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>. |
276 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>. |
277 </TD> |
277 </TD> |
278 </TR> |
278 </TR> |