Goal of the course: At the end of the course, students will have a fair understanding of some fundamental issues in the design and implementation of programming languages.
Assignments:
Assignment | What? | Credit | Start date | Mid-Eval date | Due-date |
P1 | Java Simplifier | 5% | 07 Aug 2015 | 12 Aug 2015, 11:59PM | 21 Aug 2015, 11:59PM |
P2 | Java interpreter | 5% | 22 Aug 2015 | 27 Aug 2015, 11:59PM | 11 Sep 2015, 11:59PM |
P3 | Java structural subtyping | 5% | 12 Sep 2015 | 16 Sep 2015, 11:59PM | 23 Sep 2015, 11:59PM |
P4 | Scheme type inference | 5% | 27 Sep 2015 | 02 Oct 2015, 11:59PM | 09 Oct 2015, 11:59PM |
P5 | Java CPS Transformer | 10% | 10 Oct 2015 | 16 Oct 2015, 11:59PM | 30 Oct 2015, 11:59PM |
P6 | Theorem Proving using Coq | 10% | 31 Oct 2015 | - | 16 Nov 2015, 11:59PM |
Written Exams: