scope-graph I've learned about the idea from an MSc paper "Correct-by-Construction Typechecking with Scope Graphs" by Katie Casamento