This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: APL Slides 16 July 9 Functional programming: higher-order functions Slides 17 July 13 More higher-order functions Slides 18 July 14 Even more higher-order functions Slides 19 July 16 Functional programming in OO languages Slides 20 July 20 Inference systems; formalizing operational semantics Slides 21 July 21 Type semantics Slides 22 July 23 Operational semantics Slides 23 July 27 Hoare logic for imperative languages Slides 24 July 28 More Hoare logic Slides 25 July 30 Advanced topics: lazy Slides evaluation, lambda-calculus 26 August 3 Advanced topics: functional programming for parallelism Slides 27 August 4 Advanced topics: TBA Slides August 6 Final Review August 8 FINAL EXAM (I2CS students: August 7)...
View Full Document
This note was uploaded on 07/01/2009 for the course CS CS421 taught by Professor Kirillmechitov during the Summer '09 term at University of Illinois, Urbana Champaign.
- Summer '09