Personal tools

Books and tutorials

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Moving history back from Books to Books and Tutorials)
(Couldn't move Books back over Books and tutorials redirect page. Needs admin to move discussion back.)
Line 1: Line 1:
  +
==Books==
  +
  +
See [[Books]].
  +
  +
==Tutorials==
  +
  +
See [[Tutorials]].
  +
  +
==Foundations==
  +
  +
Some books and links listed here can be found also in the articles of ''Theoretical foundations'' category
  +
* see [[Mathematics]]
  +
* or browse ''Theoretical foundations'' among [[Special:Categories]].
  +
  +
;[http://www.dcs.qmul.ac.uk/~pt/Practical_Foundations/ Practical Foundations of Mathematics]
  +
:Paul Taylor. Cambridge University Press, ISBN: 0-521-63107-6, xii+576 pages, September 2000.
  +
  +
;[http://www.cwru.edu/artsci/math/wells/pub/ttt.html Toposes, Triples and Theories]
  +
:Michael Barr and Charles Wells. The revised version of their formerly Springer Verlag published book is online for free download. Note that they use the name ''triple'' instead of ''monad''.
  +
  +
==Research papers==
  +
  +
* [[Research papers|Haskell research papers]] are collected on haskell.org
  +
* Also, [http://haskell.readscheme.org/ an online bibliography of Haskell research] at ReadScheme.org
  +
  +
==Formal Languages and Automata, Grammars and Parsing using Haskell==
  +
* Grammars and Parsing by Johan Jeuring and Doaitse Swierstra is available:
  +
[http://lampwww.epfl.ch/~michelou/links/compiler/files/MAIN.pdf - Download and take a look to the following:]
  +
** 3.1 The type 'Parser' pp 47
  +
** 3.2 Elementary parsers pp 49
  +
** 3.3 Parser combinator pp 52
  +
** 5.1 Finite state automata pp 85

Revision as of 07:08, 9 December 2007

Contents

1 Books

See Books.

2 Tutorials

See Tutorials.

3 Foundations

Some books and links listed here can be found also in the articles of Theoretical foundations category

Practical Foundations of Mathematics
Paul Taylor. Cambridge University Press, ISBN: 0-521-63107-6, xii+576 pages, September 2000.
Toposes, Triples and Theories
Michael Barr and Charles Wells. The revised version of their formerly Springer Verlag published book is online for free download. Note that they use the name triple instead of monad.

4 Research papers

5 Formal Languages and Automata, Grammars and Parsing using Haskell

  • Grammars and Parsing by Johan Jeuring and Doaitse Swierstra is available:

- Download and take a look to the following:

    • 3.1 The type 'Parser' pp 47
    • 3.2 Elementary parsers pp 49
    • 3.3 Parser combinator pp 52
    • 5.1 Finite state automata pp 85