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% | 20 Jan 2014 | 25 Jan 2014, 11:59AM | 03 Feb 2014, 11:59AM |
P2 | Java interpreter | 5% | 04 Feb 2014 | 08 Feb 2014, 11:59AM | 18 Feb 2014, 11:59AM |
P3 | Java structural subtyping | 5% | 18 Feb 2014 | 24 Feb 2014, 05:59PM | 01 Mar 2014, 05:59PM |
P4 | Scheme type inference | 5% | 01 Mar 2014 | 05 Mar 2014, 05:59PM | 13 Mar 2014, 05:59PM |
P5 | Java CPS Transformer | 10% | 13 Mar 2014 | 16 Mar 2014, 05:59PM | 28 Mar 2014, 05:59PM |
P6 | Theorem Proving using Coq | 10% | TBA | TBA , 05:59PM | TBA , 05:59PM |
P7 | Paper reading | 10% | 01 Apr 2014 | - | - |
Written Exams: