WebHome
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|