public_html: programming.html@a9c1dd0cb7b6 (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>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
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>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	30	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	31	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	32	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
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>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	39	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	40	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	41	<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
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>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	61	<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	62	SML/NJ </a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	63	<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	64	SML Library</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	65	<dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	66	Description of SML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	67	<dd> <a href="http://www.dcs.napier.ac.uk/course-notes/sml/manual.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	68	A gentle introduction to ML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	69	<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	70	Information about SML</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	71	<dd> <a href="http://pizzacompiler.sourceforge.net">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	72	Pizza</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	73	<dd> <a href="http://www.dcs.ed.ac.uk/home/mlj">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	74	MLJ </a> (ML-to-Java-Byte-Code compiler, developed
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	75	<a href="http://research.microsoft.com/labs/cam.asp">here</a>)
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	76	<dd> <a href="http://www.cse.psu.edu/~dale/forum/index.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	77	Forum</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	78	<dd> <a href ="http://www.cse.psu.edu/~dale/lProlog/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	79	Lambda Prolog</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	80	<dd> <a href="ftp://ftp.cis.upenn.edu/pub/Terzo">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	81	Terzo</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	82	<dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	83	Logical Frameworks</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	84	</dl>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	85	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	86	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	87
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	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	90	<h3> Theorem Provers etc. </h3>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	91	<dl> <dd> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	92	Isabelle</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	93	<dd> <a href="http://coq.inria.fr/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	94	Coq</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	95	<dd> <a href="http://proofgeneral.inf.ed.ac.uk/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	96	Proof General</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	97	<dd> <a href="http://x-symbol.sourceforge.net/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	98	Emacs Symbols</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	99	<dd> <a href="http://hol.sourceforge.net/hol-mode.html">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	100	HOL4-Emacs mode</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	101	<dd> <a href="http://cocorico.cs.ru.nl/coqwiki">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	102	Coq-Wiki</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	103	<dd> <a href="http://fp.logosphere.cs.cmu.edu/twelf/">
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	104	Twelf-Wiki</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	105	</dl>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	106	</TD>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	107	</TR>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	108
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	109	</TABLE>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	110	<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	111	<!-- hhmts start -->
6 a9c1dd0cb7b6 tuned Christian Urban <urbanc@in.tum.de> parents: 5 diff changeset	112	Last modified: Sat Oct 22 11:08:38 BST 2011
4 8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	113	<!-- hhmts end -->
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	114	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	115	</BODY>
8d979c124fb4 added Christian Urban <urbanc@in.tum.de> parents: diff changeset	116	</HTML>

author	Christian Urban <urbanc@in.tum.de>
	Sat, 22 Oct 2011 11:09:01 +0100
changeset 6	a9c1dd0cb7b6
parent 5	f6a9118998b6
child 7	ae19cf3b1ff9
permissions	-rw-r--r--