Software

JSWithRewriter

• jswithrewriter.tar.gz

• withrewriterjar.tar.gz (JAR file)

λJS with Modules

• Modified Webbits with Modules (January 2012, derived from rev d9acc70)

• Modified λJS (1.0) with Modules (January 2012, derived from rev ccf3210)

Note that they have to be built in this order: build and install Webbits first and then build λJS. (The current Webbits is not compatible to the modified λJS, so make sure that the existing Webbits is hidden or unregistered from ghc-pkg.) Use LambdaJS/interp.sh to desugar and run the JavaScript code.

Coq Mechanization

• Featherweight Basic Core Fortress in Coq

• Featherweight Fortress with Multiple Dispatch and Multiple Inheritance in Coq

• Modular Featherweight Fortress with Multiple Dispatch and Multiple Inheritance in Coq

Languages with ThisType

• ThisJava Compiler

• CoreThisJ Interpreter

Project Fortress

• https://java.net/projects/projectfortress/pages/Home

SML/NJ Exception Analyzer 0.98

• http://cm.bell-labs.com/cm/cs/what/smlnj/links.html