Links Home Publications Teaching Recent Talks Nominal Isabelle Handy Information People in Logic Programming Languages Miscellaneous
	Programming Languages OCaml Scala Haskell PolyML (Emacs mode) SML/NJ Description of SML A gentle introduction to ML Information about SML Pizza Logical Frameworks
	Theorem Provers etc. Isabelle Coq Proof General Emacs Symbols HOL4 HOL4-Emacs mode Coq-Wiki Twelf-Wiki

Last modified: Mon May 9 11:44:49 BST 2016 [Validate this page.]