# HG changeset patch # User Christian Urban # Date 1319277281 -3600 # Node ID 8d979c124fb4e22dc9bf1db56ace77b1abafed1d # Parent 60f6cd4991ad5d5c9da7a6762f5fb48bec9bfc4e added diff -r 60f6cd4991ad -r 8d979c124fb4 programming.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/programming.html Sat Oct 22 10:54:41 2011 +0100 @@ -0,0 +1,116 @@ + + +Homepage of Christian Urban + + + + + + + + + + + + + + + + + + + + + + +
+ +Links
+Home
+Publications
+Teaching
+Recent Talks
+My Research Group +
+
+ +Handy Information
+People in Logic
+Programming Languages
+Miscellaneous +

+ + + + +
+

Programming Languages

+
+ OCaml +
+ Scala +
+ Haskell +
+ SML/NJ +
+ SML Library +
+ Description of SML +
+ A gentle introduction to ML +
+ Information about SML +
+ Pizza +
+ MLJ (ML-to-Java-Byte-Code compiler, developed + here) +
+ Forum +
+ Lambda Prolog +
+ Terzo +
+ Logical Frameworks +
+
+

Theorem Provers etc.

+
+ Isabelle +
+ Coq +
+ Proof General +
+ Emacs Symbols +
+ HOL4-Emacs mode +
+ Coq-Wiki +
+ Twelf-Wiki +
+
+

+ +Last modified: Tue Jan 11 09:10:48 GMT 2011 + +[Validate this page.] + +