| author | Christian Urban <urbanc@in.tum.de> |
| Tue, 28 Jan 2020 11:37:44 +0000 | |
| changeset 600 | 8628e9e9d73d |
| parent 469 | 95ea2ffaa094 |
| permissions | -rw-r--r-- |
| 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> |
|
| 465 | 5 |
<BASE HREF="http://nms.kcl.ac.uk/christian.urban/"> |
| 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> |
|
| 465 | 30 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR> |
31 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR> |
|
32 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR> |
|
33 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR> |
|
34 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A> |
|
| 4 | 35 |
<BR> |
36 |
<BR> |
|
37 |
||
38 |
<B>Handy Information</B><BR> |
|
| 465 | 39 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> |
40 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> |
|
41 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A> |
|
| 4 | 42 |
<BR><BR> |
43 |
||
| 39 | 44 |
<table border="0"> |
45 |
<tr> |
|
46 |
<td> |
|
| 465 | 47 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/"> |
| 39 | 48 |
<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
49 |
</td> |
|
50 |
</tr> |
|
51 |
<tr> |
|
52 |
<td> |
|
| 465 | 53 |
<A HREF="http://nms.kcl.ac.uk/christian.urban/Cookbook/"> |
| 39 | 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> |
|
| 469 | 66 |
<dl> <dd> <a href="http://ocaml.org"> |
| 4 | 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.csci.csusb.edu/dick/samples/ml.syntax.html"> |
|
77 |
Description of SML</a> |
|
| 469 | 78 |
<dd> <a href="http://www.soc.napier.ac.uk/course-notes/sml/manual.html"> |
| 4 | 79 |
A gentle introduction to ML</a> |
80 |
<dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html"> |
|
81 |
Information about SML</a> |
|
82 |
<dd> <a href="http://pizzacompiler.sourceforge.net"> |
|
83 |
Pizza</a> |
|
| 7 | 84 |
<dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html"> |
85 |
Logical Frameworks</a> |
|
| 4 | 86 |
</dl> |
87 |
</TD> |
|
88 |
</TR> |
|
89 |
||
90 |
<TR> |
|
91 |
<TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
92 |
<h3> Theorem Provers etc. </h3> |
|
93 |
<dl> <dd> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/"> |
|
94 |
Isabelle</a> |
|
95 |
<dd> <a href="http://coq.inria.fr/"> |
|
96 |
Coq</a> |
|
97 |
<dd> <a href="http://proofgeneral.inf.ed.ac.uk/"> |
|
98 |
Proof General</a> |
|
99 |
<dd> <a href="http://x-symbol.sourceforge.net/"> |
|
100 |
Emacs Symbols</a> |
|
| 7 | 101 |
<dd> <a href="http://hol.sourceforge.net/"> |
102 |
HOL4</a> |
|
| 4 | 103 |
<dd> <a href="http://hol.sourceforge.net/hol-mode.html"> |
104 |
HOL4-Emacs mode</a> |
|
| 7 | 105 |
<dd> <a href="http://coq.inria.fr/cocorico"> |
| 4 | 106 |
Coq-Wiki</a> |
| 8 | 107 |
<dd> <a href="http://twelf.org/wiki/Main_Page"> |
| 4 | 108 |
Twelf-Wiki</a> |
109 |
</dl> |
|
110 |
</TD> |
|
111 |
</TR> |
|
112 |
||
113 |
</TABLE> |
|
114 |
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
|
|
438
7aff28d7d3e3
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
428
diff
changeset
|
115 |
<!-- hhmts start --> Last modified: Mon May 9 11:44:49 BST 2016 <!-- hhmts end --> |
| 4 | 116 |
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
117 |
</BODY> |
|
118 |
</HTML> |