Assignments and Project Ideas

Please note that no late assignments are accepted. Please turn in what you have by the deadline.

Introduction to Ocaml (Due Tuesday Sep 10 in class).
Solution
Free and bound variables (scope) (Due Thursday Sep 19---Electronic submission details given in assignment).
Solution
Static and Dynamic Scope (Due Thursday Sep 26)
Solution
Store passing (Due Sunday October 6)
Solution: interpret.ml, sinterpret.ml
Type checking (Due Tuesday October 22)
Solution: tc.ml
Interpreter in Java (Due Friday November 1)
Solution: Eval_Exp.java.
Higher-Order Functions in Java (Due Friday November 8)
Solution: Sieve.java.
CPS interpreter with call/cc (Due Friday November 22 --- Moved to Tuesday November 26)
Solution: Eval_Exp.java.
Servlets (Due before the final exam)

Submit extra credit problems via email: sabry@indiana.edu

In Java and many other languages, inheritance implies subtyping. Search for papers that argue that this is not necessarily a good idea and illustrate the main point with examples.
Assignment 8 asks you to implement call/cc. For extra credit implement a simple exception mechanism, or a simple coroutine mechanism, or a simple thread package. All of these are fairly easy if you understand call/cc.
Redo assignment 4 or 6 without using environments at all. When you see a binding of a variable x to a value v, instead of adding x and v to the environment, actually replace all relevant occurrences of x in the code with v. Tricky!
Illustrate dynamic scope in action using the C preprocessor. Easy!
Labels & setjmp/longjmp Part easy. Part tricky.
Redo assignment 6 using java.util.AbstractMap or one of its subclasses to implement the environment.
In class today (Oct 24), I presented three Java interpreters. Add a new kind of expression Times to the third interpreter. You are not allowed to touch any of the existing code except of course the method main to test your new code.
Assignment 6 only requires that you write the first interpreter from assignment 4 in Java. For extra credit, also write the store-passing interpreter from assignment 4 in Java.