Course Schedule

Afp

---++ Schedule
See the CourseLiterature page for instructions about what to read before the lecture.

| *Lecture* | *Day* | *Time* | *Activity* | *Extra* |
| 1 | Tue, Nov 13 | 9-11   |[[%ATTACHURL%/1-Introduction-final.pdf][1-Introduction]]  |   | 
| 2 | Tue, Nov 13|  11-13 |[[%ATTACHURL%/2-LambdaCalculus-final.pdf][2-LambdaCalculus]]  | |
| 3 | Thu, Nov 15 | 15-17 |[[%ATTACHURL%/3-Quickcheck-final.pdf][3-Quickcheck]] | |
| 4 | Tue, Nov 20 | 9-11   |[[%ATTACHURL%/4-Monads-final.pdf][4-Monads]]  | [[http://www.cs.uu.nl/wiki/bin/view/Afp/CourseLiterature][see reading instructions]]  |
| 4 | Tue, Nov 20 | 11-13 |[[http://www.cs.uu.nl/wiki/pub/Afp/CourseLiterature/Gill-09-TypeSafeReification.pdf][Type Safe Reification]]| |
| 5 | Thu, Nov 22 | 15-17  |[[%ATTACHURL%/5-MonadTransformers-final.pdf][5-MonadTransformers]]| |
| 6 | Tue, Nov 27 | 9-11   |[[%ATTACHURL%/6-FunDepsGadts-final.pdf][6-FunDepsGadts]]|[[http://okmij.org/ftp/Haskell/Haskell1/Haskell1.txt][Using FunDeps]] |
| 7 | Thu, Nov 29  | 13-15  | [[%ATTACHURL%/7-MoreComplicatedTypes-final.pdf][7-MoreComplicatedTypes]] | |
| 8  | Tue, Dec 4   | 9-11    | [[%ATTACHURL%/8-WxHaskell.pdf][8-WxHaskell]]| [[http://code.haskell.org/wxhaskell/samples/wx/][Examples]] |
| 9  | Thu, Dec 6  | 15-17   | [[http://www.haskell.org/haskellwiki/Reactive-banana][reactive banana's]] | [[%ATTACHURL%/frp.zip][ Asteroids Example]]  | 
| 10 | Tue, Dec 11 | 9-11  | [[%ATTACHURL%/10-ParserCombinators-final.pdf][10-ParserCombinators]]   | |
| 11 | Thu, Dec 13 | 13-15   | [[%ATTACHURL%/11-TypesAndClasses-final.pdf][11-TypesAndClasses-final.pdf]]  | |
| 12 | Tue, Dec 18 | 9-11  | [[%ATTACHURL%/12-Files-Exceptions-Concurrency-final.pdf][12-Files-Exceptions-Concurrency]] | |
| 13 | Tue, Dec 18 | 11-12  | [[%ATTACHURL%/13-FingerTrees-final.pdf][13-FingerTrees]] | |
| 14 | Tue, Jan 8 | 9-10 | [[%ATTACHURL%/14-DataStructuresByteStrings-final.pdf][14-DataStructuresByteStrings.pdf]]  | [[%ATTACHURL%/G3-FusionSlidesTomHarper.pdf][G3-FusionSlidesTomHarper.pdf]]  | 
| 15 | Tue, jan 8 | 10-11 |[[%ATTACHURL%/15-TypedTrafos-PLDI09.pdf][15-TypedTrafos-PLDI09.pdf]]  | |
| 16 | Thu, Jan 10 | 15-16  | [[%ATTACHURL%/talk-HS08.pdf][16-HaskellDoYouReadMe]]   | [[http://hackage.haskell.org/package/ChristmasTree]] |
| 17 | Thu, Jan 10 | 16-17  | [[%ATTACHURL%/IFIP-Rome-final.pdf][17-MergingParsers]]  | [[http://hackage.haskell.org/packages/archive/uu-parsinglib/2.7.4.1/doc/html/Text-ParserCombinators-UU-MergeAndPermute.html][The code]]|
| -  | Tue, Jan 15 | | | |
| 18 | Thu, Jan 17 | 15-17  | [[%ATTACHURL%/18-Agda-final.pdf][18-Agda.pdf]]  | | 
| -  | Tue, Jan 22 | | no lecture | | 
| -  | Thu, Jan 24 | | no lecture | | 
| -  | Thu, Jan 31 | 15-17  | Ants competition, short demos  | | 
<!--
| 2 | Tue, Nov 13|  11-13 | [[%ATTACHURL%/2-Quickcheck-final.pdf][QuickCheck]]| |

| 3 | Tue, Nov 22  |  11-13 | [[%ATTACHURL%/3-ParserCombinators-UU-final.pdf][Online Parser Combinators I]] | |
| 4 | Thu, Nov 24  |  15-17 | [[%ATTACHURL%/4-LambdaCalculus-final.pdf][Lambda Calculus]] | |
| 5 | Tue, Nov 29  |  11-13 |[[%ATTACHURL%/5-ParserCombinators-UU-final.pdf][ParserCombinators-UU]] | |
| 6 | Thu, Dec 1 | 15-17  | [[%ATTACHURL%/6-DataStructuresByteStrings-final.pdf][Arrays, Fusion, ByteStrings]] |  [[http://www.cs.uu.nl/wiki/pub/USCS2011/CourseSchedule/FusionSlidesTomHarper.pdf][AFP Summerschool, Tom Harper]] |
| 7  | Tue, Dec 6  | 11-13  | [[%ATTACHURL%/7-Monads-final.pdf][Monads]]  |   |
| 8  | Thu, Dec 8 | 13-15 | [[%ATTACHURL%/8-MonadTransformers-final.pdf][Monad Transformers]] |   |
| 9  | Tue, Dec 13 | 11-13 | [[%ATTACHURL%/9-Files-Exceptions-Concurrency-final.pdf][Files, Exceptions, Concurrency]]  |   |
| 10  | Thu, Dec 15 | 15-17 | [[%ATTACHURL%/10-TypesAndClasses-final.pdf][Types, Classes]] |   |
| 11| Tue, Dec 20 | 9-10.15! | [[%ATTACHURL%/11-FingerTrees-final.pdf][Finger Trees]]     |   |
|     | Thu, Dec 22 | no lecture  | |  |
| -  | Fri, Jan 6  |  10.30-18.00 | [[http://www.cs.uu.nl/wiki/bin/view/FPDag2012/WebHome][national FP day]]  | |
| 12| Tue, Jan 10 | 11-13 | [[%ATTACHURL%/12-FunDepsGadts-final.pdf][Functional Dependencies, GADT's]]  |   |
| 13| Thu, Jan 12 | 15-17| [[%ATTACHURL%/13-MoreComplicatedTypes-final.pdf][More Complicated Types]]  |   |
| 14| Tue, Jan 17 | 11-13 | [[%ATTACHURL%/talk-tldi-2009-AFP-14.pdf][Typed Tranformations of Typed Abstract Syntax]] |   |
| 15| Thu, Jan 19 | 15-17 | [[%ATTACHURL%/15-Agda-final.pdf][Agda Introduction]]  |   |
|     | Tue, Jan 24 | 9-9:30, BBL-071 | Computing look-ahead information in the uu-parsinglib library | Rene van Twist |
|     | Tue, Jan 24 | 9:30-10:00 | Data Mining Algorithms | Hidde Verstoep, Robert Hensing |
|     | Tue, Jan 24 | 10:15-11:00 | Geometric Algorithms | Frank Staals|
|     | Thu, Jan 26 | 11.00-12:00      | Use first-class AG's to reconstruct the initial phases of the UHC  | Felix Denis, Ingo van Duijn  |
|     | Thu, Jan 24 | 15:00-15:45      | Comparing Web Frameworks  |  Berend Lauwers, Augusto Passalaqua, Frank Wijmans| 
|     | Thu, Jan 26 | 16:00-16:45     | Growing Graphs                         | Gabe Dijkstra, Justin Paston-Cooper |
|     | Thu, Jan 26 | 15:00-15:40      | Generating grammar diagrams  | Rémi	 Benoit  |
|     | Thu, Jan 26 | 16:30-17:10      | Interfacing with Javascript          | Matthijs Kwik  |

| 7 | 49 | Mon, Dec 6 | 13-15 | [[%ATTACHURL%/AFP-2010-2-7-FingerTrees-final.pdf][Finger Trees (Nested Data Types)]] | -- Main.DoaitseSwierstra - 06 Dec 2010  |
| 8 | 49 | Mon, Dec 9 | 9-11 | [[%ATTACHURL%/AFP-2010-2-8-Files-Exceptions-Concurrency-final.pdf][Files, Exceptions, Concurrency]] | -- Main.DoaitseSwierstra - 09 Dec 2010  |
| 9 | 50 | Mon, Dec 13 | 13-15 | [[%ATTACHURL%/AFP-2010-2-9-Monads-final.pdf][Monads]] | -- Main.DoaitseSwierstra - 13 Dec 2010  |
| 10 | 50 | Thu, Dec 16 | 9-11 | [[%ATTACHURL%/AFP-2010-2-10-MonadTransformers.pdf][Monad Transformers, Applicative, Arrows]] | -- Main.DoaitseSwierstra - 15 Dec 2010   |
| 11 | 51 | Mon, Dec 20 | 13-17 |[[%ATTACHURL%/AFP-2010-2-11-TypesAndClasses-final.pdf][Types and Classes]] | -- Main.DoaitseSwierstra - 10 Jan 2011 (improved)   |
| -- | 51 | Thu, Dec 22 | 9-11 | no lecture (have a nice Christmas and find some time to read) |    |
| 12 | 2   | Mon, Jan 10  | 13-17 | [[%ATTACHURL%/AFP-2010-2-12-FunDepsGadts-final.pdf][Functional Dependencies, GADT's]]  | -- Main.DoaitseSwierstra - 10 Jan 2011  |
| 13 | 2   | Thu, Jan 13  | 9-11 | [[%ATTACHURL%/AFP-2010-2-13-MoreComplicatedTypes-final.pdf][Higher ranked Types, Type Equality, Lambda Cube]] | -- Main.DoaitseSwierstra - 12 Jan 2011   |
| 14 | 3   | Mon, Jan 17  | 13-17 | [[%ATTACHURL%/talk-tldi-2009-AFP-14.pdf][Typed transformation of Typed Abstract Syntax]], [[%ATTACHURL%/papertldi.pdf][paper]] | -- Main.DoaitseSwierstra - 17 Jan 2011  |
| 15 | 3   | Thu, Jan 20  | 19-11 | ... |   |
| -- | 4   | Mon, Jan 24  | 13-17 | [[PresentationSchedule][project presentations]] |   |
| 16 | 4   | Thu, Jan 27  | 9-11  | [[PresentationSchedule][project presentations]] |  |
| exam | 5 | Mon, Jan 31 | 14-17  | BBL-001 |  |
-->
<!--
|      | Wed, Feb 10 | 09-11 | GHC installation, Programming Task, Mini talks, [[%ATTACHURL%/AFP-2009.3-2-final.pdf][Modules and Packages]] |
| 07 | Mon, Feb 15 | 11-13 | [[%ATTACHURL%/AFP-2009.3-4-final.pdf][Lambda Calculus, Lazy evaluation, Heap Profiling]] |
|      | Wed, Feb 17 | 09-11 | Monads, lhs2TeX, equational reasoning |
|      | Wed, Feb 17 | 11-13 | Profiling (continued), [[%ATTACHURL%/AFP-2009.3-5-final.pdf][Lists, Arrays, !ByteStrings]] |
| 08 | Mon, Feb 22 | 11-13 | [[%ATTACHURL%/AFP-2009.3-6-final.pdf][Finger trees]] |
|      | Wed, Feb 24 | 09-11 | Project reports, CPS transformation, inhabitants of lazy types |
|      | Wed, Feb 24 | 11-13 | [[%ATTACHURL%/AFP-2009.3-7-final.pdf][Exceptions, concurrency, networking, STM]] |
| 09 | Mon, Mar 01 | 11-13 | [[%ATTACHURL%/AFP-2009.3-8-final.pdf][Monads]] |
|      | Wed, Mar 03 | 09-11 | |
|      | Wed, Mar 03 | 11-13 | [[%ATTACHURL%/AFP-2009.3-8-final.pdf][Monad transformers, Applicative Functors]] |
| 10 | Mon, Mar 08 | 11-13 | [[%ATTACHURL%/AFP-2009.3-9-final.pdf][Haskell's type system]] |
|      | Wed, Mar 24 | 09-11 | [[%ATTACHURL%/AFP-2009.3-9-final.pdf][Type classes]] |
|      | Wed, Mar 24 | 11-13 | [[%ATTACHURL%/AFP-2009.3-10-final.pdf][Advanced type classes, type families]] |
| 13 | Mon, Mar 29 | 11-13 | [[%ATTACHURL%/AFP-2009.3-11-final.pdf][GADTs and higher-rank polymorphism]] |
|      | Wed, Mar 31 | 09-11 | |
|      | Wed, Mar 31 | 11-13 | [[%ATTACHURL%/AFP-2009.3-12-final.pdf][Dependent types with Agda]] |
| 14 | Mon, Apr 05 || no lecture (easter) |
|      | Wed, Apr 07 | 09-11 | minitalks 2 |
|      | Wed, Apr 07 | 11-13 | minitalks 2 |
| 15 | Mon, Apr 12 | 11-13 | [[%ATTACHURL%/AFP-2009.3-12-final.pdf][Dependent types with Agda]] |
|      | Wed, Apr 14 | 09-11 | project report |
|      | Wed, Apr 14 | 11-13 | project report |
| 16 | Mon, Apr 19 | 09-12 | exam |
-->
<!--
|           |Wed, Feb 11| HPC, The GHCi Debugger, Lambda Calculus, Lazy Evaluation ([[%ATTACHURL%/AFP-2008.3-4.pdf][slides]]) |
||||
|week  8|Mon, Feb 16| Heap Profiling; lists, arrays, unboxed types ([[%ATTACHURL%/AFP-2008.3-5.pdf][slides]]) |
|           |Wed, Feb 18| !ByteStrings, Finger Trees ([[%ATTACHURL%/AFP-2008.3-6.pdf][slides]]) |
||||
|week  9|Mon, Feb 23| Concurrency and networking ([[%ATTACHURL%/AFP-2008.3-7.pdf][slides]]) |
|           |Wed, Feb 25| The FFI, GUI programming ([[%ATTACHURL%/AFP-2008.3-8.pdf][slides]]) |
||||
|week 10|Mon, Mar  2| Monads ([[%ATTACHURL%/AFP-2008.3-9.pdf][slides]]) |
|            |Wed, Mar  4| Monad Transformers, Applicative Functors ([[%ATTACHURL%/AFP-2008.3-10.pdf][slides]]) |
||||
|week 11|Mon, Mar 9| Modules and Records ([[%ATTACHURL%/AFP-2008.3-11.pdf][slides]]) |
|            |Wed, Mar 11| %BLUE% Student mini-talks I: Tools and Libraries %ENDCOLOR% |
||||
|week 12| | no lectures (herkansing block 2) |
||||
|week 13|Mon, Mar 23| Advanced Type Classes ([[%ATTACHURL%/AFP-2008.3-12.pdf][slides]]) |
|            |Wed, Mar 25| GADTs ([[%ATTACHURL%/AFP-2008.3-13.pdf][slides]]) |
||||
|week 14|Mon, Mar 30| Higher-rank Polymorphism, System F ([[%ATTACHURL%/AFP-2008.3-14.pdf][slides]]) |
|            |Wed, Apr 1| Introduction to Generic Programming ([[%ATTACHURL%/AFP-2008.3-15.pdf][slides]]) |
||||
|week 15|Mon, Apr 6| %BLUE% Student mini-talks II: Language %ENDCOLOR% | 
|            |Wed, Apr 8| Programming Project Summary |
||||
|week 16|Wed, Apr 15| %RED%written exam%ENDCOLOR%, 9:00-12:00, %RED%BBL-471%ENDCOLOR% |
|            |Fri, Apr 17 -<br/>Fri, Apr 19 | [[http://haskell.org/haskellwiki/Hac5][5th Haskell Hackathon in Utrecht]] |
-->

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	1-Introduction-final.pdf	manage	382.1 K	15 Nov 2012 - 10:03	DoaitseSwierstra
pdf	10-ParserCombinators-final.pdf	manage	400.4 K	11 Dec 2012 - 06:53	DoaitseSwierstra
pdf	11-TypesAndClasses-final.pdf	manage	563.6 K	13 Dec 2012 - 13:40	DoaitseSwierstra
pdf	12-Files-Exceptions-Concurrency-final.pdf	manage	344.3 K	18 Dec 2012 - 06:39	DoaitseSwierstra
pdf	13-FingerTrees-final.pdf	manage	482.3 K	18 Dec 2012 - 06:58	DoaitseSwierstra
pdf	14-DataStructuresByteStrings-final.pdf	manage	385.0 K	07 Jan 2013 - 20:46	DoaitseSwierstra
pdf	14DataStructuresByteStrings-final.pdf	manage	385.0 K	07 Jan 2013 - 20:44	DoaitseSwierstra
pdf	15-TypedTrafos-PLDI09.pdf	manage	722.0 K	07 Jan 2013 - 20:59	DoaitseSwierstra
pdf	18-Agda-final.pdf	manage	526.7 K	21 Jan 2013 - 18:59	DoaitseSwierstra
pdf	2-LambdaCalculus-final.pdf	manage	358.0 K	15 Nov 2012 - 10:03	DoaitseSwierstra
pdf	3-Quickcheck-final.pdf	manage	460.8 K	15 Nov 2012 - 16:05	DoaitseSwierstra
pdf	5-MonadTransformers-final.pdf	manage	346.8 K	22 Nov 2012 - 13:52	DoaitseSwierstra
pdf	6-FunDepsGadts-final.pdf	manage	379.5 K	27 Nov 2012 - 06:38	DoaitseSwierstra
pdf	7-MoreComplicatedTypes-final.pdf	manage	426.8 K	29 Nov 2012 - 13:57	DoaitseSwierstra
pdf	7-MoreComplicatedTypes.pdf	manage	241.7 K	29 Nov 2012 - 13:25	DoaitseSwierstra
pdf	8-WxHaskell.pdf	manage	1146.9 K	03 Dec 2012 - 21:03	DoaitseSwierstra
pdf	G3-FusionSlidesTomHarper.pdf	manage	447.6 K	07 Jan 2013 - 21:20	DoaitseSwierstra
pdf	IFIP-Rome-final.pdf	manage	315.1 K	10 Jan 2013 - 13:20	DoaitseSwierstra
zip	frp.zip	manage	62.8 K	10 Dec 2012 - 11:59	DoaitseSwierstra	Asteroids Example
pdf	talk-HS08.pdf	manage	725.4 K	10 Jan 2013 - 13:17	DoaitseSwierstra