# (fooi "{\\al" "[$L" "{\\hlist" "[$hlist" "}" "]") htmlize {Edrx's Haskell/functional programming page} { [HLIST1 {Functional languages in general:} [L http://www.lpac.ac.uk/SEL-HPC/Articles/FuncArchive.html Functional Programming Archive (online papers and a lot more)] [L http://cm.bell-labs.com/cm/cs/who/wadler/guide.html A Guide to Functional Programming on the Web] [L http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html FAQ for comp.lang.functional] [L http://www.dcs.gla.ac.uk/fp/ Functional Programming at Glasgow] ] [HLIST1 {Papers and docs:} [L http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps John Hughes, 1995?: The Design of a Pretty-printing Library] [L http://cm.bell-labs.com/cm/cs/who/wadler/papers/essence/essence.ps.gz Phil Wadler, 199x: The Essence of Functional Languages] [L http://cm.bell-labs.com/cm/cs/who/wadler/papers/monads/monads.ps.gz Phil Wadler, 1992: Monad Comprehension] [L http://research.microsoft.com/Users/luca/Papers/TypeSystems.A4.ps.gz Luca Cardelli, 1997: Type Systems] [L http://www.cse.ogi.edu/~mpj/thih/thihA4.ps Mark Peyton Jones, 1999: Typing Haskell in Haskell] ] [HLIST1 {Haskell:} [L http://haskell.org/index.html The Haskell Home Page] [L /usr/doc/hugs/docs/index.html Hugs docs (local)] [L /usr/src/TclHaskell/doc/usermanual.html TclHaskell - user manual] [L /usr/src/hugs/ Hugs dir (local)] [L http://www.cit.gu.edu.au/~arock/entre/index.html Entre (\"Explict Naive Term Rewriting Engine\")] [L http://www.dcs.gla.ac.uk/fp/software/ghc/index.html ghc] [L http://www.dcs.gla.ac.uk/fp/software/ghc/3.01/installation_guide/installing.html ghc installation guide] [L http://www.cs.chalmers.se/~augustss/hbc/hbc.html hbc] [L http://www.md.chalmers.se/Cs/Research/Functional/Fudgets/index.html Fudgets] [L http://www.cs.york.ac.uk/~gem/haskell-mode/index.html Haskell mode for Emacs] [L ftp://haskell.org/pub/haskell/tutorial/tutorial-slides.dvi Haskell tutorial slides] [L http://www.informatik.uni-bremen.de/~ewk/ewk.html Einar Karlsen's Homepage] [L http://www.cs.yale.edu/homes/hudak-paul.html Paul Hudak's home page] [L http://www.cs.chalmers.se/~rjmh/AFP/ John Hughes' home page (course on AFP)] [L http://www.cs.columbia.edu/~cdo/edison/edison.tar.gz Edison (a Haskell lib)] ] [HLIST1 {ML:} [L http://cm.bell-labs.com/cm/cs/what/smlnj/ Standard ML of New Jersey] [L http://cm.bell-labs.com/cm/cs/what/smlnj/doc/ Standard ML of New Jersey User's Guide] [L ftp://rtfm.mit.edu/pub/usenet-by-group/comp.lang.ml/Comp.Lang.ML_FAQ_\[Monthly_Posting\] ML FAQ] [L ftp://ftp.inria.fr/lang/caml-light/index.html Caml Light directory (has some tutorials)] ] [HLIST1 {Formal Methods:} [L http://www.dsse.ecs.soton.ac.uk/~mjb/refcalc-tut/home.html Refinement Calculus Tutorial] [L http://www.comlab.ox.ac.uk/archive/formal-methods.html Formal Methods] [L http://www.eecs.umich.edu/gasm/cover.html Abstract State Machines] [L http://www.comlab.ox.ac.uk/archive/formal-methods/b.html The B Method] [L http://www.comlab.ox.ac.uk/oucl/people/mike.spivey.html Mike Spivey (Z, Oxford)] [L http://www-formal.stanford.edu/ Formal Reasoning Group (Stanford)] ] [HLIST1 {Other packages:} [L http://www.cis.upenn.edu/~dale/lProlog/index.html Lambda Prolog] ] [HLIST1 {Automatic reasoning systems, proof checkers and theorem provers:} [L http://www.mcs.anl.gov/home/mccune/ar/others.html Automated Deduction Systems and Groups] [HLIST2 HOL [L http://lal.cs.byu.edu/lal/hol-documentation.html Documentation] [L http://www.cl.cam.ac.uk/Research/HVG/FTP/FTP.html ftp area] [LR http://lal.cs.byu.edu/lal/hol-emacs/hol-emacs.html Using HOL inside Emacs] [L http://www.cl.cam.ac.uk/users/drs1004/TkHol.html TkHol] ] [HLIST2 [L http://simon.cs.cornell.edu/Info/Projects/NuPrl/ NuPrl home] [L http://simon.cs.cornell.edu/Info/Projects/NuPrl/tutorial/intro-tutorial.html NuPrl tutorial] [L http://simon.cs.cornell.edu/Info/Projects/NuPrl/book/node1.html NuPrl book] [L http://simon.cs.cornell.edu/Info/Projects/NuPrl/manual.with.index/node1.html NuPrl reference] ] [L http://www.cl.cam.ac.uk/users/lcp/ml-aftp/index.html Isabelle] [L http://web.cs.ualberta.ca/~piotr/Mizar/index.html The Mizar Project] [L http://www.mcs.anl.gov/home/mccune/ar/otter/index.html Otter] ] [HLIST1 {Misc links on Haskell and logic:} [L http://research.microsoft.com/Users/simonpj/ Simon Peyton Jones] [L http://haskell.systemsz.cs.yale.edu/hugs-users/index.html Hugs Users Mail Archive] [L http://www.dcs.gla.ac.uk/~partain/haskerl.html The Haskerl index] [L http://www.dcs.ed.ac.uk/home/proofgen/ Proof General --- Organize your proof with Emacs] [L http://www.cs.uu.nl/people/jeroen/article/jpeg/ jpeg routines in Gofer] [L ftp://ftp.cs.kun.nl/pub/CompMath.Found/church.ps.Z] [L ftp://ftp.cs.kun.nl/pub/CompMath.Found/marktoberdorf.ps.Z] [L ftp://ftp.cs.kun.nl/pub/CompMath.Found/bg3.ps.Z] [L ftp://ftp.cs.kun.nl/pub/CompMath.Found/kr.ps.Z] [L http://www.cs.kun.nl/~henk/papers.html] [L http://www.dcs.gla.ac.uk/~nww/Monad.html What the hell are monads? (Noel Winstanley)] [L http://kind.ki.informatik.uni-frankfurt.de/cgi-bin/wiki Haskell Wiki (written in pyWiki)] [L http://www.cs.nott.ac.uk/Department/Staff/gmh/allegories.ps Categories, Allegories and Circuit Design (C. Brown/G. Hutton)] [L http://triples.math.mcgill.ca/~rags/bang/bang.ps.gz Broken link for a R A G Seely paper, bang.ps.gz] [L ftp://ftp.math.mcgill.ca/pub/rags/ R A G Seely's ftp area (broken?)] [L http://hypatia.dcs.qmw.ac.uk/author/SeelyRAG R A G Seely's page on Hypatia] [L http://www.cs.indiana.edu/hyplan/kfisler/HOL/hol90notes.html Notes for HOL90 Beginners] [L http://www.comlab.ox.ac.uk/archive/formal-methods/hol.html The World Wide Web Virtual Library: HOL] [L http://math.cornell.edu/~artemov/accom.html] [L http://math.cornell.edu/~artemov/index.htm] [L http://math.cornell.edu/~artemov/publ.html] [L http://math.cornell.edu/~artemov/res.html] [L http://www.cwi.nl/lc99/scientific_program.html] [L http://www.informatik.uni-kiel.de/~sacbase/index.html SAC - Single Assignment C] ] }