Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 18 May 2013 07:22:44 +0100
changeset 194 a4418038199a
parent 193 5ccf667cf396
child 195 7695cc4ce14a
updated
logic.html file | annotate | diff | comparison | revisions
programming.html file | annotate | diff | comparison | revisions 
--- a/logic.html	Tue Apr 23 00:56:26 2013 +0100
+++ b/logic.html	Sat May 18 07:22:44 2013 +0100
@@ -74,11 +74,11 @@
 <DD><A HREF="http://www.site.uottawa.ca/~afelty/">Amy Felty</A></DD>
 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD>
 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD>
-<DD><A HREF="http://www.math.unipd.it/~claudia/">Claudia Faggian</A></DD>
+<DD><A HREF="http://www.pps.univ-paris-diderot.fr/~faggian/">Claudia Faggian</A></DD>
 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD>
 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD>
 <DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD>
-<DD><A HREF="http://www.inf.qmw.ac.uk/~edmundr">Edmund Robinson</A></DD>
+<DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD>
 <DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD>
 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD>
@@ -90,7 +90,7 @@
 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD>
 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD>
-<DD><A HREF="http://theory.stanford.edu/~iliano">Iliano Cervesato</A>
+<DD><A HREF="http://www.qatar.cmu.edu/iliano/">Iliano Cervesato</A>
 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A>
 <DD><A HREF="http://www.cis.upenn.edu/~jean">Jean Gallier</A>, 
     <A HREF="ftp://ftp.cis.upenn.edu/pub/papers/gallier/">papers</A></DD>
@@ -100,7 +100,7 @@
 <DD><A HREF="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~crary/">Karl Crary</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD>
-<DD><A HREF="http://www.itu.dk/~birkedal/">Lars Birkedal</A></DD>
+<DD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></DD>
 </DL>
 </TD>
 
--- a/programming.html	Tue Apr 23 00:56:26 2013 +0100
+++ b/programming.html	Sat May 18 07:22:44 2013 +0100
@@ -73,8 +73,6 @@
           PolyML</a> (<a href="http://www.iro.umontreal.ca/~monnier/elisp">Emacs mode</a>)
      <dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html">
           SML/NJ </a> 
-     <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html">
-          SML Library</a> 
      <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
           Description of SML</a> 
      <dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html">
@@ -83,10 +81,6 @@
           Information about SML</a> 
      <dd> <a href="http://pizzacompiler.sourceforge.net">
           Pizza</a>
-     <dd> <a href="http://www.inf.ed.ac.uk/home/mlj">
-          MLJ </a> (ML-to-Java-Byte-Code compiler)
-     <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/">
-          Lambda Prolog</a>
      <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html">
           Logical Frameworks</a> 
 </dl>
public_html