Course Schedule
Eifl
Week schedule
| Date | Activity | Preparation |
|---|---|---|
| 7/9 | Kick off, Lecture on EHC, the slides. See EHC for further documentation. | |
| 9/9 | Lecture on EHC, in particular code generation | Read material on EH 1&2 from the technical report (see EHC), material on mapping to Java in Dijkstra, Lazy Functional Parser Combinators in Java |
| 14/9 | Lecture on Turner's SKI machine | see David Turner A New Implementation Technique for Applicative Languages, Philip Koopman A Fresh Look at Combinator Graph Reduction, John Hughes Super Combinators - A New Implementation Method for Applicative Languages |
| 16/9 | Reading | Peter Sestoft, Deriving a lazy abstract machine |
| 21/9 | Reading | Simon Peyton Jones, Compiling Haskell by program transformation: a report from the trenches |
| 23/9 | - | |
| 28/9 | Project presentation/discussion | |
| 30/9 | Lecture on flow analysis in AG systems | |
| 5/10 | Reading | Simon L. Peyton-Jones, Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine (part I,II) |
| 7/10 | Project presentation/discussion | |
| 12/10 | Reading | previous article (in particular part II + III) continued, prepare by finding the parts you do not understand |
| 14/10 | Reading + project discussion | Urban Boquist, Code Optimisation Techniques for Lazy Functional Languages. This PhD thesis will be read during the remaining reading sessions |
| 19/10 | - | |
| 21/10 | - | |
| 26/10 | Reading (page by page question mode) | PhD of Urban Boquist |
| 2/11 | Reading (cont'd) | |
| 4/11 | Reading (cont'd) | |
| 11/11 | Presentations (in BBL-426), paper finished | |
| 25/11 (23:59) | The final final submission of the paper | Wrapping up the project |