Here is the source code for the typechecking and semantics classes of Jay, which are discussed in this chapter.
Section
Program
3.1, 3.5 AbstractSyntax.java
3.1
StaticTypeCheck.java
3.2, 3.5
Semantics.java