SJS is a static ahead of time compiler for a subset of JavaScript. The main documentation is in the README of the sjsc/ folder, for now. The following research papers describe aspects of SJS in more detail.

• SJS: A Type System for JavaScript with Fixed Object Layout, SAS 2015
• Type Inference for Static Compilation of JavaScript, OOPSLA 2016
• A Practical Framework for Type Inference Error Explanation, OOPSLA 2016