The file eval.ml in hw4.tar contains two different implementations of interpreters for a language that support several kinds of mutation. These interpreters are in the modules Ref and Store, but they are not complete.
Part I) Use the module Ref for problems 3.41 and 3.43 in EOPL.
Part II) Use the module Store for problem 3.48 in EOPL. You may not use any mutable data structures for this part of the assignment. This is a quite difficult (and long) problem, but I've got you started with some of the implementation. You need to replace "raise TODO" wherever you see it in the code.
02/23/2004