public_html: programming.html@1afb9462ea70 (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
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	44	<A HREF="http://isabelle.in.tum.de/nominal/">
5 f6a9118998b6 tuned Christian Urban <urbanc@in.tum.de> parents: 4 diff changeset	45	<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	46	</A>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	47	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	48	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	49
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	50	<!-- right column -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	51
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	52	<TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	53	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	54	<h3> Programming Languages </h3>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	55	<dl> <dd> <a href="http://caml.inria.fr/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	56	OCaml</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	57	<dd> <a href="http://www.scala-lang.org/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	58	Scala</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	59	<dd> <a href="http://www.haskell.org/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	60	Haskell</a>
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	61	<dd> <a href="http://www.polyml.org/">
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	62	PolyML</a>
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	63	<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	64	SML/NJ </a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	65	<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	66	SML Library</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	67	<dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	68	Description of SML</a>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 8 diff changeset	69	<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	70	A gentle introduction to ML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	71	<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	72	Information about SML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	73	<dd> <a href="http://pizzacompiler.sourceforge.net">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	74	Pizza</a>
24 1afb9462ea70 changed dcs to inf Christian Urban <urbanc@in.tum.de> parents: 8 diff changeset	75	<dd> <a href="http://www.inf.ed.ac.uk/home/mlj">
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	76	MLJ </a> (ML-to-Java-Byte-Code compiler)
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	77	<dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/">
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	78	Lambda Prolog</a>
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	79	<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	80	Logical Frameworks</a>
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	81	</dl>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	82	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	83	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	84
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	85	<TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	86	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	87	<h3> Theorem Provers etc. </h3>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	88	<dl> <dd> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	89	Isabelle</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	90	<dd> <a href="http://coq.inria.fr/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	91	Coq</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	92	<dd> <a href="http://proofgeneral.inf.ed.ac.uk/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	93	Proof General</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	94	<dd> <a href="http://x-symbol.sourceforge.net/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	95	Emacs Symbols</a>
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	96	<dd> <a href="http://hol.sourceforge.net/">
ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	97	HOL4</a>
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	98	<dd> <a href="http://hol.sourceforge.net/hol-mode.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	99	HOL4-Emacs mode</a>
7 ae19cf3b1ff9 tuned Christian Urban <urbanc@in.tum.de> parents: 6 diff changeset	100	<dd> <a href="http://coq.inria.fr/cocorico">
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	101	Coq-Wiki</a>
8 d90b63445b62 tuned Christian Urban <urbanc@in.tum.de> parents: 7 diff changeset	102	<dd> <a href="http://twelf.org/wiki/Main_Page">
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	103	Twelf-Wiki</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	104	</dl>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	105	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	106	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	107
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	108	</TABLE>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	109	<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	110	<!-- hhmts start -->
6 a9c1dd0cb7b6 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	111	Last modified: Sat Oct 22 11:08:38 BST 2011
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	112	<!-- hhmts end -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	113	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	114	</BODY>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	115	</HTML>

author	Christian Urban <urbanc@in.tum.de>
	Fri, 28 Oct 2011 14:43:57 +0100
changeset 24	1afb9462ea70
parent 8	d90b63445b62
child 39	160040af338e
permissions	-rw-r--r--