public_html: programming.html@f58a4b003363 (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/">
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	73	PolyML</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.dina.kvl.dk/~sestoft/sml/sml-std-basis.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	77	SML Library</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	78	<dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	79	Description of SML</a>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 8 diff changeset	80	<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	81	A gentle introduction to ML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	82	<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	83	Information about SML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	84	<dd> <a href="http://pizzacompiler.sourceforge.net">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	85	Pizza</a>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 8 diff changeset	86	<dd> <a href="http://www.inf.ed.ac.uk/home/mlj">
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	87	MLJ </a> (ML-to-Java-Byte-Code compiler)
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	88	<dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/">
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	89	Lambda Prolog</a>
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	90	<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	91	Logical Frameworks</a>
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	92	</dl>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	93	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	94	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	95
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	96	<TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	97	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	98	<h3> Theorem Provers etc. </h3>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	99	<dl> <dd> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	100	Isabelle</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	101	<dd> <a href="http://coq.inria.fr/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	102	Coq</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	103	<dd> <a href="http://proofgeneral.inf.ed.ac.uk/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	104	Proof General</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	105	<dd> <a href="http://x-symbol.sourceforge.net/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	106	Emacs Symbols</a>
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	107	<dd> <a href="http://hol.sourceforge.net/">
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	108	HOL4</a>
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	109	<dd> <a href="http://hol.sourceforge.net/hol-mode.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	110	HOL4-Emacs mode</a>
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	111	<dd> <a href="http://coq.inria.fr/cocorico">
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	112	Coq-Wiki</a>
8 d90b63445b62 tuned Christian Urban <urbanc@in.tum.de> parents: 7 diff changeset	113	<dd> <a href="http://twelf.org/wiki/Main_Page">
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	114	Twelf-Wiki</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	115	</dl>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	116	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	117	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	118
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	119	</TABLE>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	120	<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	121	<!-- hhmts start -->
39 160040af338e tuned pics Christian Urban <urbanc@in.tum.de> parents: 24 diff changeset	122	Last modified: Thu Nov 3 01:35:23 GMT 2011
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	123	<!-- hhmts end -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	124	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	125	</BODY>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	126	</HTML>

author	Christian Urban <urbanc@in.tum.de>
	Tue, 31 Jan 2012 16:26:02 +0000
changeset 80	f58a4b003363
parent 39	160040af338e
child 132	f8220e81d0f2
permissions	-rw-r--r--