public_html: programming.html@8d4f3b55ead8 (annotated)

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

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Mon, 14 Mar 2016 23:10:16 +0000
changeset 396	8d4f3b55ead8
parent 203	f2ded7a5f0bc
child 404	f51aebc23fbf
permissions	-rw-r--r--