AFP Course
Home
Education Page
Marks
Schedule
Literature
Programming Task
Assignments
Discussion Forum
QuestionsAsked
Test Matrix
Haskell links
Useful Information
Useful Links
Haskell Home
Haskell 98 Report
Haskell FFI Addendum
Haskell Hierarchical Modules Addendum
GHC Home
GHC Library API docs
Hoogle
Profiling with GHC
HPC
HackageDB
Monad Tutorial
gtk2hs Home
gtk2hs API docs
Hoogle for gtk2hs
HC&A Report
The Monad.Reader
Planet Haskell
Haddock
Growing a Language
Center for ST
Home
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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