featherweight java implementation in SML?

• To: <types@cis.upenn.edu>
• Subject: featherweight java implementation in SML?
• From: "David Walker" <dpw@CS.Princeton.EDU>
• Date: Wed, 20 Nov 2002 20:46:41 -0500
• Importance: Normal
• In-Reply-To: <200211181520.gAIFKJts019555@saul.cis.upenn.edu>

Hi,

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.

Thanks,

David Walker
Princeton University

• Prev: 8 Assistant/Associate Professorships at the IT University of Copenhagen
• Next: Professorship opening
• Index(es):
  • Main
  • Thread