Three Talks about Programming Systems as Infinite Games
Modeling Variable Shadowing, part III
Modeling Variable Shadowing, part II
First Class Variables: speeding up reflective variable access of indexed variables
Modeling Variable Shadowing
Proposal: Simplify How Pragmas are stored
Annotate Everything! Properties on the Structural Model
Finding Unused Variables: An example for First Class Variables
A Compiler Overlay to simplify changing the Compiler
A lesson in Big Bang Change
Speeding up Pragma Access, Part II.
Reflecting on self, super and thisContext
Speeding up Pragma Access