AFP Course
- Home
- Education Page
- Marks
- Schedule
- Literature
- Programming Task
- Assignments
- Discussion Forum
- QuestionsAsked
- Test Matrix
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 | 1-Introduction | |
| 2 | Tue, Nov 13 | 11-13 | 2-LambdaCalculus | |
| 3 | Thu, Nov 15 | 15-17 | 3-Quickcheck | |
| 4 | Tue, Nov 20 | 9-11 | 4-Monads | see reading instructions |
| 4 | Tue, Nov 20 | 11-13 | Type Safe Reification | |
| 5 | Thu, Nov 22 | 15-17 | 5-MonadTransformers | |
| 6 | Tue, Nov 27 | 9-11 | 6-FunDepsGadts | Using FunDeps |
| 7 | Thu, Nov 29 | 13-15 | 7-MoreComplicatedTypes | |
| 8 | Tue, Dec 4 | 9-11 | 8-WxHaskell | Examples |
| 9 | Thu, Dec 6 | 15-17 | reactive banana's | Asteroids Example |
| 10 | Tue, Dec 11 | 9-11 | 10-ParserCombinators | |
| 11 | Thu, Dec 13 | 13-15 | 11-TypesAndClasses-final.pdf | |
| 12 | Tue, Dec 18 | 9-11 | 12-Files-Exceptions-Concurrency | |
| 13 | Tue, Dec 18 | 11-12 | 13-FingerTrees | |
| 14 | Tue, Jan 8 | 9-10 | 14-DataStructuresByteStrings.pdf | G3-FusionSlidesTomHarper.pdf |
| 15 | Tue, jan 8 | 10-11 | 15-TypedTrafos-PLDI09.pdf | |
| 16 | Thu, Jan 10 | 15-16 | 16-HaskellDoYouReadMe | http://hackage.haskell.org/package/ChristmasTree |
| 17 | Thu, Jan 10 | 16-17 | 17-MergingParsers | The code |
| - | Tue, Jan 15 | |||
| 18 | Thu, Jan 17 | 15-17 | 18-Agda.pdf | |
| - | Tue, Jan 22 | no lecture | ||
| - | Thu, Jan 24 | no lecture | ||
| - | Thu, Jan 31 | 15-17 | Ants competition, short demos |
