USCS 2010

Course Materials

USCS2010

%TOC%

On this page, we will place all the slides for the courses, but also links to additional
papers and tutorials.

---+++ Slides

---++++ Monday, August 16

Introduction:  [[%ATTACHURL%/0.pdf][Introduction]]

Lecture A1:  [[%ATTACHURL%/A1-QuickStart.pdf][A quick start with Haskell]]

Lecture B1: [[%ATTACHURL%/B1.pdf][Untyped lambda calculus]]

---++++ Tuesday, August 17

Lecture A2: [[%ATTACHURL%/A2-DataStructures.pdf][DataStructures]]

Lecture B2: [[%ATTACHURL%/B2.pdf][Typed lambda calculus]]

Lecture C1: [[%ATTACHURL%/C1.pdf][QuickCheck]]

---++++ Wednesday, August 18

Lecture A3: [[%ATTACHURL%/A3-IO.pdf][Input and Output]]

Lecture B3: [[%ATTACHURL%/B3.pdf][Kinds, Type inference]]

Lecture C2: [[%ATTACHURL%/C2.pdf][Data structures]]

---++++ Thursday, August 19

Lecture A4: [[%ATTACHURL%/A4-ClassesAndInstances.pdf][Classes and Instances]]

Lecture B4: [[%ATTACHURL%/B4.pdf][Generic programming]]

Lecture C3: [[%ATTACHURL%/C3.pdf][Monads]]

---++++ Friday, August 20

Lecture A5: [[%ATTACHURL%/A5-memo-slides-english.pdf][Using lazy evaluation in memoisation]]

Lecture B5: [[%ATTACHURL%/B5.pdf][Monad transformers]]

Lecture C4: [[%ATTACHURL%/C4.pdf][Haskell programming practices]]

---++++ Monday, August 23

Lecture C5: [[%ATTACHURL%/C5.pdf][Lazy evaluation and profiling]]

Lecture C6: [[%ATTACHURL%/PC-Introduction.pdf][Introduction to Parsercombinators]]

---++++ Tuesday, August 24

Lecture C7: [[%ATTACHURL%/PC-Permutations.pdf][Parsing permutations]]

Lecture C8: [[%ATTACHURL%/C8.pdf][Networking and concurrency]]

---++++ Wednesday, August 25

Lecture C9:    [[%ATTACHURL%/PrologInterpreter.pdf][Prolog Interpreter]],  [[%ATTACHURL%/PrologInterpreter.hs][The Code]], [[%ATTACHURL%/example.prl][The Example Rule File]]

Guest lecture by Atze Dijkstra: [[%ATTACHURL%/slides-uhcinternals.pdf][Utrecht Haskell Compiler]]

---++++ Thursday, August 26

Lecture C10: [[%ATTACHURL%/C10.pdf][Generalized Algebraic Data Types]]

---+++ Papers

Lennart Augustsson. [[http://www.augustsson.net/Darcs/Lambda/top.pdf][Lambda calculus cooked four ways]] (and the [[http://www.augustsson.net/Darcs/Lambda][code]]).

Lindley, Wadler, Yallop. [[http://homepages.inf.ed.ac.uk/wadler/papers/arrows-and-idioms/arrows-and-idioms.pdf][Idioms are oblivious, arrows are meticulous, monads are promiscuous]].

Augusteijn. [[http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=92B5F1E77393E12E3D37C032DCA94518?doi=10.1.1.51.3315&rep=rep1&type=pdf][Sorting morphisms]].



---+++ Tutorials

In case you want to have look at Haskell before the Summer School, and are looking for
free online material, I recommend the following online tutorials:

   * [[http://learnyouahaskell.com/][Learn You a Haskell for Great Good!]]
   * [[http://en.wikibooks.org/wiki/Haskell][Haskell Wikibook]]

The first one is probably funnier than the second and has prettier pictures,
the Wikibook covers a bit more of the language, though. Both tutorials
are still in development as far as I know and may change and hopefully
improve further.

A longer list of tutorials can be found on the [[http://www.haskell.org/haskellwiki/Tutorials][Haskell Wiki]].

---+++ Books

If you want to buy a Haskell book, I recommend the following:

   * Richard Bird: Introduction to Functional Programming using Haskell. Prentice Hall.
   * Graham Hutton: [[http://www.cs.nott.ac.uk/~gmh/book.html][Programming in Haskell]]. Cambridge.
   * Bryan O'Sullivan, John Goerzen, and Don Stewart: [[http://realworldhaskell.org][Real World Haskell]]. O'Reilly.

The first is an excellent introduction to functional programming and explains the
background and philosophy well. The second is a concise, short introduction to the
most important Haskell concepts. Real World Haskell contains a lot of practical
material, and is better suited as a second book on Haskell. The complete text
of Real World Haskell is available online.

A list of books (also non-English books) is available on the [[http://www.haskell.org/haskellwiki/Books][Haskell Wiki]].

-- Main.DoaitseSwierstra - 19 Aug 2010

Topic attachments
I	Attachment	Action	Size	Date	Who
pdf	0.pdf	manage	369.2 K	16 Aug 2010 - 06:31	AndresLoeh
pdf	A3-IO.pdf	manage	683.2 K	19 Aug 2010 - 13:57	DoaitseSwierstra
pdf	A4-ClassesAndInstances.pdf	manage	763.9 K	19 Aug 2010 - 13:39	DoaitseSwierstra
pdf	A5-memo-slides-english.pdf	manage	973.0 K	19 Aug 2010 - 21:08	DoaitseSwierstra
pdf	B2.pdf	manage	583.2 K	17 Aug 2010 - 06:34	AndresLoeh
pdf	B3.pdf	manage	684.6 K	18 Aug 2010 - 06:10	AndresLoeh
pdf	B4.pdf	manage	636.4 K	19 Aug 2010 - 07:02	AndresLoeh
pdf	B5.pdf	manage	423.2 K	20 Aug 2010 - 06:51	AndresLoeh
pdf	C1.pdf	manage	618.0 K	17 Aug 2010 - 11:17	AndresLoeh
pdf	C10.pdf	manage	468.8 K	26 Aug 2010 - 07:09	AndresLoeh
pdf	C2.pdf	manage	618.6 K	18 Aug 2010 - 19:09	AndresLoeh
pdf	C3.pdf	manage	549.9 K	19 Aug 2010 - 11:47	AndresLoeh
pdf	C4.pdf	manage	549.8 K	20 Aug 2010 - 11:54	AndresLoeh
pdf	C5.pdf	manage	481.8 K	23 Aug 2010 - 06:15	AndresLoeh
pdf	C8.pdf	manage	352.1 K	25 Aug 2010 - 07:19	AndresLoeh
pdf	IO.pdf	manage	682.7 K	18 Aug 2010 - 06:49	DoaitseSwierstra
pdf	PC-Introduction.pdf	manage	850.7 K	23 Aug 2010 - 14:05	DoaitseSwierstra
pdf	PC-Permutations.pdf	manage	623.4 K	23 Aug 2010 - 20:15	DoaitseSwierstra
hs	PrologInterpreter.hs	manage	6.4 K	19 Oct 2010 - 21:45	DoaitseSwierstra
pdf	PrologInterpreter.pdf	manage	622.4 K	25 Aug 2010 - 06:04	DoaitseSwierstra
prl	example.prl	manage	0.1 K	19 Oct 2010 - 21:45	DoaitseSwierstra
prl	example1.prl	manage	0.3 K	19 Oct 2010 - 21:45	DoaitseSwierstra
pdf	slides-uhcinternals.pdf	manage	504.2 K	25 Aug 2010 - 12:22	AndresLoeh

USCS 2010

Links

Course Materials