April 11, 2021 Three Talks about Programming Systems as Infinite Games

April 7, 2021 Modeling Variable Shadowing, part III

April 2, 2021 Modeling Variable Shadowing, part II

March 31, 2021 First Class Variables: speeding up reflective variable access of indexed variables

March 29, 2021 Modeling Variable Shadowing

March 24, 2021 Proposal: Simplify How Pragmas are stored

November 24, 2020 Annotate Everything! Properties on the Structural Model

November 20, 2020 Finding Unused Variables: An example for First Class Variables

September 23, 2020 A Compiler Overlay to simplify changing the Compiler

September 22, 2020 A lesson in Big Bang Change

September 22, 2020 Speeding up Pragma Access, Part II.

September 3, 2020 Reflecting on self, super and thisContext

September 1, 2020 Speeding up Pragma Access

August 31, 2020 I now have a Blog!