Teaching
G711 F '05
 
Assignments
Set 1
Set 2
Set 3
Set 4
Set 5
Set 6
Set 7
Set 8
Set 9

Problem Set 9: Parametric Polymorphism

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.


last updated on Tue Jun 9 22:21:18 EDT 2009generated with PLT Scheme