25 WIDTH="24%" |
25 WIDTH="24%" |
26 VALIGN="TOP" |
26 VALIGN="TOP" |
27 ROWSPAN="3"> |
27 ROWSPAN="3"> |
28 |
28 |
29 <B>Links</B><BR> |
29 <B>Links</B><BR> |
30 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
30 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
31 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
31 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
32 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
33 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
35 <BR> |
35 <BR> |
36 <BR> |
36 <BR> |
37 |
37 |
38 <B>Handy Information</B><BR> |
38 <B>Handy Information</B><BR> |
39 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
39 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
40 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
41 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
42 <BR><BR> |
42 <BR><BR> |
43 |
43 |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
45 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
45 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
46 </A> |
46 </A> |
64 SML/NJ </a> |
64 SML/NJ </a> |
65 <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html"> |
65 <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html"> |
66 SML Library</a> |
66 SML Library</a> |
67 <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html"> |
67 <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html"> |
68 Description of SML</a> |
68 Description of SML</a> |
69 <dd> <a href="http://www.dcs.napier.ac.uk/course-notes/sml/manual.html"> |
69 <dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html"> |
70 A gentle introduction to ML</a> |
70 A gentle introduction to ML</a> |
71 <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
71 <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
72 Information about SML</a> |
72 Information about SML</a> |
73 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
73 <dd> <a href="http://pizzacompiler.sourceforge.net"> |
74 Pizza</a> |
74 Pizza</a> |
75 <dd> <a href="http://www.dcs.ed.ac.uk/home/mlj"> |
75 <dd> <a href="http://www.inf.ed.ac.uk/home/mlj"> |
76 MLJ </a> (ML-to-Java-Byte-Code compiler) |
76 MLJ </a> (ML-to-Java-Byte-Code compiler) |
77 <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/"> |
77 <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/"> |
78 Lambda Prolog</a> |
78 Lambda Prolog</a> |
79 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
79 <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
80 Logical Frameworks</a> |
80 Logical Frameworks</a> |