Problem Set 4

home work!

Topic Small-step and big-step semantics, Well-founded relations, First-class references

Due Friday, February 24, 2017 before class.

image

Problem set 4.

Solutions should be submitted on paper at the beginning of class.