Time Ts
Students
Time spend on Type Systems course. All dates are '05.
| Activity | Time (hours) | Date |
| Lecture | 2 | 08-09 |
| Reading Faxen sections 1..4 | 0.5 | 09-09 |
| Reading Faxen sections 1..4 | 1 | 10-09 |
| Playing a little with Arrows | 1 | 11-09 |
| Reading Faxen sections 1..4 | 1 | 12-09 |
| Lecture | 2 | 13-09 |
| Reading Faxen sections 5..6 | 1 | 12-09 |
| Lecture | 2 | 15-09 |
| Visited updated webpage | 0.5 | 19-09 |
| Visited Bastiaan's defense | 2.0 | 20-09 |
| Reviewed Faxen (instances/classes) more critical | 1.5 | 21-09 |
| Haskell report | 1 | 24-09 |
| Practical ... (SPJ) | 2 | 25-09 |
| Reading Advanced Topics in Tapl (part of chapter 1 ) | 1.5 | 26-09 |
| Looking up stuff about covariant/controvariant.. (SPJ) | 1.5 | 25-09 |
| Looking up stuff about impredicativity (set interpretation).. | 1.5 | 28-09 |
| Practical ... (SPJ) | 2 | 1-10 |
| Haskell report | 3 | 30-10 |
| Rereading all papers for test | 12 | weekend + monday |
| Reading Advanced Topics in Tapl chapter 4 | 3 | 4-10 |
| Appointment Gerrit for distributing work | 1 | 6-10 |
| Meeting | 2 | 6-10 |
| Creating presentation + looking for related information | 8 | Different days |
| Preparing presentation | 3 | 10-10 |
| Preparing meeting | 2 | 12-10 |
| Meeting | 2 | 13-10 |