Difference between revisions of "Books and tutorials"

Revision as of 07:08, 9 December 2007

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.

- 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

@@ 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