Huanwen Qu Type Systems
Students
Activities in the course of Type Systems
- Sep 8
- 13.00-15.00 Introduction course
- Sep 10
- 15.00-16.30 Read chapter 1 & 2 of Faxen paper, totally get into knot
- Sep 12
- 13.00-15.00 Read chapter 3 & 4 of Faxen paper, cannot understand more
- Sep 13
- 9.00-11.00 Class for Faxen paper
- Sep 14
- 16.00-17.30 Review chapter 3 & 4 of Faxen paper
- 20.00-20.00 Read chapter 5 & 6 of Faxen paper
- Sep 15
- 13.00-15.00 Class for Faxen paper
- Sep 20
- 13.00-15.00 Try to work out the exercise. No idea:(
- Sep 22
- 13.00-15.00 Class for Faxen paper. Get the idea of how to read the semantics and implement the calss.
- Sep 25
- 17.00-18.00 Read the Monomorphism part of Haskell Report
- Sep 26
- 16.00-17.30 Read chapter 1 to 4 of Practical type inference for arbitrary-rank types
- 21.00-22.30 Read chapter 1 to 4 of Practical type inference for arbitrary-rank types
- Sep 27
- 9.00-11.00 Class for Practical type inference for arbitrary-rank types (part 1)
- Sep 28
- 20.00-21.30 Read chapter 5 & 6 of Practical type inference for arbitrary-rank types
- Sep 29
- 13.00-15.00 Class for Practical type inference for arbitrary-rank types (part 2)
- Oct 2
- 11.00-16.00 Prepare Faxen paper for the mid-test
- Oct 3
- 13.00-17.00 Prepare Haskell Report & type inference for the mid-test
- Oct 4
- 9.00-11.00 Mid-test
- Oct 5
- 13.00-17.00 Read Chapter 2, Dependent Types and Chapter 5, Proof-Carrying Code
- Oct 6
- 11.45-12.30 Colloquium, The Ruler language
- 13.00-15.00 Class for Chapter 2, Dependent Types
- 15.00-17.00 Read chapter 5, Proof-Carrying Code
- Oct 7
- 13.00-17.30 Discuss chapter 5 with Arie
- Oct 9
- 15.00-20.00 Study chapter 5, Proof-Carrying Code
- Oct 10
- 13.00-17.00 Discuss the presentation of chapter 5 with Arie
- Oct 11
- 9.00-11.00 Class for Chapter 4, Typed Assembly Language
- 13.00-20.00 Make slides for the presentation of chapter 5
- Oct 12
- 11.00-24.00 Continue to make slides for the presentation of chapter 5
- Oct 13
- 11.00-12.30 Prepare for the presentation
- 13.00-15.00 Present chapter 5, Proof-Carrying Code
- Oct 17
- 17.00-20.00 Read the paper of Putting Curry-Howard to Work
- 23.30-24.00 Make the Wiki up to date, since it has not been updated for a long time.