# Difference between revisions of "Books and tutorials"

From HaskellWiki

(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

## 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.

- 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*.

## Research papers

- Haskell research papers are collected on haskell.org
- Also, 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:

- 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