featherweight java implementation in SML?
Subject: featherweight java implementation in SML?
From: "David Walker" <dpw@CS.Princeton.EDU>
Date: Wed, 20 Nov 2002 20:46:41 -0500
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.