Each lecture is a self contained literate Haskell program. Hence you can directly compile the code and run.
- Introduction [pdf,latex,literate haskell]
- Warming up [pdf,latex,literate haskell]
- More on pattern matching [pdf,latex,literate haskell]
- Sieve of Eratosthenes [pdf,latex,literate haskell]
- Fibonacci series [pdf,latex,literate haskell]
- Folding lists [pdf,latex,literate haskell]
- Data types [pdf,latex,literate haskell]
- An expression evaluator [pdf,latex,literate haskell]
- Lambda calculus [pdf,latex,literate haskell]
- Modules [pdf,latex,literate haskell]
- Towards type inference [pdf,latex,literate haskell]
- Unification algorithm [pdf,latex,literate haskell]
- The type inference algorithm [pdf,latex,literate haskell]
- Type classes [pdf,latex,literate haskell]
- Monads and IO [pdf,latex,literate haskell]
- State monad [pdf,latex,literate haskell]
- Monad transformers [pdf,latex,literate haskell]
- Functions with variable number of arguments [pdf,latex,literate haskell]
- Template Haskell based printf [pdf,latex,literate haskell]
- Concurrent programming in Haskell [pdf,latex,literate haskell]
Last modified on Monday (31 October 2011 10:12:32 UTC)