Due date: 11/15 @ 5:00 pm
This problem set is entirely optional; you may use your time to prepare
for the exam. Its goal is to expand your understanding of type
systems. Solving the problems will help you with the exam material,
however. You can also collect extra points for your final grade.
Use the Pretty Big language and require the EoPL language.
Problem 1:
Design and implement an explicit polymorphic type system for the
language of Problem Set 7.
Problem 2:
Design and implement an implicit poymorphic type system for the
language of Problem Set 7.