Principles of Programming Languages - Baker - Lab4