Assignment 2 (Type Safety)

Due Date: February 13, 2001 in class

• Part I: Find and document a bug in the type system of a major programming language. Explain the nature of the bug, giving an example in the language, explaining its type, and its evaluation behavior. Briefly explain the consequences of the problem in terms of security, and discuss how the type system has been fixed (or would be fixed) to avoid the problem.
• Part II: Implement the type checker and evaluator for the MiniML language. I am providing the infrastructure consisting of the lexer, parser, pretty-printer, etc in Ocaml under the code links.