|
6
|
1 |
<?xml version="1.0" encoding="utf-8"?>
|
|
|
2 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
4
|
3 |
<HEAD>
|
|
|
4 |
<TITLE>Homepage of Christian Urban</TITLE>
|
|
24
|
5 |
<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
|
|
4
|
6 |
</HEAD>
|
|
|
7 |
|
|
|
8 |
<BODY TEXT="#000000"
|
|
|
9 |
BGCOLOR="#4169E1"
|
|
|
10 |
LINK="#0000EF"
|
|
|
11 |
VLINK="#51188E"
|
|
|
12 |
ALINK="#FF0000">
|
|
|
13 |
|
|
|
14 |
<TABLE WIDTH="100%"
|
|
|
15 |
BGCOLOR="#4169E1"
|
|
|
16 |
BORDER="0"
|
|
|
17 |
FRAME="border"
|
|
|
18 |
CELLPADDING="10"
|
|
|
19 |
CELLSPACING="2"
|
|
|
20 |
RULES="all">
|
|
|
21 |
|
|
|
22 |
<!-- left column -->
|
|
|
23 |
<TR>
|
|
|
24 |
<TD BGCOLOR="#FFFFFF"
|
|
|
25 |
WIDTH="24%"
|
|
|
26 |
VALIGN="TOP"
|
|
|
27 |
ROWSPAN="3">
|
|
|
28 |
|
|
|
29 |
<B>Links</B><BR>
|
|
24
|
30 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
|
|
|
31 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
|
|
|
32 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
|
|
|
33 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
|
|
4
|
34 |
<A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
|
|
|
35 |
<BR>
|
|
|
36 |
<BR>
|
|
|
37 |
|
|
|
38 |
<B>Handy Information</B><BR>
|
|
24
|
39 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>
|
|
|
40 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR>
|
|
|
41 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
|
|
4
|
42 |
<BR><BR>
|
|
|
43 |
|
|
39
|
44 |
<table border="0">
|
|
|
45 |
<tr>
|
|
|
46 |
<td>
|
|
4
|
47 |
<A HREF="http://isabelle.in.tum.de/nominal/">
|
|
39
|
48 |
<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
|
|
|
49 |
</td>
|
|
|
50 |
</tr>
|
|
|
51 |
<tr>
|
|
|
52 |
<td>
|
|
|
53 |
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
|
|
|
54 |
<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
|
|
|
55 |
</td>
|
|
|
56 |
</tr>
|
|
|
57 |
</table>
|
|
4
|
58 |
</TD>
|
|
|
59 |
</TR>
|
|
|
60 |
|
|
|
61 |
<!-- right column -->
|
|
|
62 |
|
|
|
63 |
<TR>
|
|
|
64 |
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
|
|
|
65 |
<h3> Programming Languages </h3>
|
|
|
66 |
<dl> <dd> <a href="http://caml.inria.fr/">
|
|
|
67 |
OCaml</a>
|
|
|
68 |
<dd> <a href="http://www.scala-lang.org/">
|
|
|
69 |
Scala</a>
|
|
|
70 |
<dd> <a href="http://www.haskell.org/">
|
|
|
71 |
Haskell</a>
|
|
7
|
72 |
<dd> <a href="http://www.polyml.org/">
|
|
132
|
73 |
PolyML</a> (<a href="http://www.iro.umontreal.ca/~monnier/elisp">Emacs mode</a>)
|
|
4
|
74 |
<dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html">
|
|
|
75 |
SML/NJ </a>
|
|
|
76 |
<dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html">
|
|
|
77 |
SML Library</a>
|
|
|
78 |
<dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
|
|
|
79 |
Description of SML</a>
|
|
24
|
80 |
<dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html">
|
|
4
|
81 |
A gentle introduction to ML</a>
|
|
|
82 |
<dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html">
|
|
|
83 |
Information about SML</a>
|
|
|
84 |
<dd> <a href="http://pizzacompiler.sourceforge.net">
|
|
|
85 |
Pizza</a>
|
|
24
|
86 |
<dd> <a href="http://www.inf.ed.ac.uk/home/mlj">
|
|
7
|
87 |
MLJ </a> (ML-to-Java-Byte-Code compiler)
|
|
|
88 |
<dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/">
|
|
|
89 |
Lambda Prolog</a>
|
|
|
90 |
<dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html">
|
|
|
91 |
Logical Frameworks</a>
|
|
4
|
92 |
</dl>
|
|
|
93 |
</TD>
|
|
|
94 |
</TR>
|
|
|
95 |
|
|
|
96 |
<TR>
|
|
|
97 |
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
|
|
|
98 |
<h3> Theorem Provers etc. </h3>
|
|
|
99 |
<dl> <dd> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">
|
|
|
100 |
Isabelle</a>
|
|
|
101 |
<dd> <a href="http://coq.inria.fr/">
|
|
|
102 |
Coq</a>
|
|
|
103 |
<dd> <a href="http://proofgeneral.inf.ed.ac.uk/">
|
|
|
104 |
Proof General</a>
|
|
|
105 |
<dd> <a href="http://x-symbol.sourceforge.net/">
|
|
|
106 |
Emacs Symbols</a>
|
|
7
|
107 |
<dd> <a href="http://hol.sourceforge.net/">
|
|
|
108 |
HOL4</a>
|
|
4
|
109 |
<dd> <a href="http://hol.sourceforge.net/hol-mode.html">
|
|
|
110 |
HOL4-Emacs mode</a>
|
|
7
|
111 |
<dd> <a href="http://coq.inria.fr/cocorico">
|
|
4
|
112 |
Coq-Wiki</a>
|
|
8
|
113 |
<dd> <a href="http://twelf.org/wiki/Main_Page">
|
|
4
|
114 |
Twelf-Wiki</a>
|
|
|
115 |
</dl>
|
|
|
116 |
</TD>
|
|
|
117 |
</TR>
|
|
|
118 |
|
|
|
119 |
</TABLE>
|
|
|
120 |
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
|
|
|
121 |
<!-- hhmts start -->
|
|
39
|
122 |
Last modified: Thu Nov 3 01:35:23 GMT 2011
|
|
4
|
123 |
<!-- hhmts end -->
|
|
|
124 |
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
|
|
|
125 |
</BODY>
|
|
|
126 |
</HTML>
|