Functional Programming

VU 2   SS 2007   LVA 703246

Schedule

May 23

• Evaluation Order
• Lazy Computations

May 30

Type System: manual derivation of types.

June 06

Type System:

• exercises in manual derivation
• automatically solving equations

June 13

Type System:

• exercises in solving equations
• automatically infering types

June 20

• Type System: exercises in infering types
• Implementation: how to write an interpreter

June 27

• Questions session
• Implementation: a possible translation into Java

Juli 04

First opportunity for the final exam in HS11.