Slide 1Substitution & Evaluation Order cos 441 David Walker Slide 2 Reading Pierce Chapter 5: –5.1: intro, op. sem., evaluation order –5.2: encodings of booleans,…
Slide 1 Catriel Beeri Pls/Winter 2004/5 functional-language 1 Substitution Semantics of FL – a simple functional language FL is EL + (non-recursive) function creation (and…
Substitution & Evaluation Order cos 441 David Walker Reading Pierce Chapter 5: 5.1: intro, op. sem., evaluation order 5.2: encodings of booleans, pairs, numbers, recursion…