# Difference between revisions of "Books and tutorials"

From HaskellWiki

DekuDekuplex (talk | contribs) (Moved entry for _Categories and Computer Science,_ by R. F. C. Walters, to here from Books and tutorials/Mathematics.) |
(add a foundational paper advising students on how to problem solve with Haskell) |
||

Line 23: | Line 23: | ||

:R. F. C. Walters. Cambridge Computer Science Texts, 1991, 176 pages. ISBN 0-52141-997-2 (USD $95.00 (hardcover), USD $34.99 (paperback)). |
:R. F. C. Walters. Cambridge Computer Science Texts, 1991, 176 pages. ISBN 0-52141-997-2 (USD $95.00 (hardcover), USD $34.99 (paperback)). |
||

:Here, Category Theory is developed in a straightforward way, and is enriched with many examples from computer science. |
:Here, Category Theory is developed in a straightforward way, and is enriched with many examples from computer science. |
||

+ | |||

+ | ;[[Media:ProbSolvInHas1.pdf|Where do I begin? A problem solving approach to teaching functional programming]] |
||

+ | :Simon Thompson, First International Conference on Declarative Programming Languages in Education |
||

+ | :Many students take easily to functional programming whilst others experience difficulties of one sort or another. The work reported here is the result of attempts to advise students on how to use problem solving ideas to help them design as develop programs. |
||

==Research papers== |
==Research papers== |

## Revision as of 00:20, 16 August 2008

orcadarnoouc

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

- Categories and Computer Science
- R. F. C. Walters. Cambridge Computer Science Texts, 1991, 176 pages. ISBN 0-52141-997-2 (USD $95.00 (hardcover), USD $34.99 (paperback)).
- Here, Category Theory is developed in a straightforward way, and is enriched with many examples from computer science.

- Where do I begin? A problem solving approach to teaching functional programming
- Simon Thompson, First International Conference on Declarative Programming Languages in Education
- Many students take easily to functional programming whilst others experience difficulties of one sort or another. The work reported here is the result of attempts to advise students on how to use problem solving ideas to help them design as develop programs.

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