Virtues of typed functional languages 1 Virtues of typed functional languages 2 Some historical milestones History of ML Standard ML: general issues 1 Standard ML: general issues 2 Standard ML: general issues 3 What does all the above buy us? 1 What does all the above buy us? 2 SML: in detail 1 SML: in detail 2 Programming techniques Fixed point operators in SML 1 Fixed point operators in SML 2 Fixed point operators in SML 3 Fixed point operators in SML 4 Fixed point operators in SML 5
