featherweight java implementation in SML?


Does anyone happen to have an implementation of the syntax, static
semantics, and operational semantics (ie: an interpreter) for
featherweight Java [Igarashi, Pierce, Wadler] in standard ML?

I would like to give the students of my graduate-level programming
languages course an assignment involving the job of adding a few
features to the basic system.


David Walker
Princeton University