i can tell you don't like javascript
Typing Objects in SSA form
Diving into how JSSAT upholds SSA form for objects in spite of mutability, loops, and cyclicity
Diving into how JSSAT upholds SSA form for objects in spite of mutability, loops, and cyclicity