Hendrik van Antwerpen Promotors: prof. dr. A. van Deursen (TUD) Co-promotors: dr. J.G.H. Cockx (TUD) Delft University of Technology Date: 15 January 2025 Thesis: PDF Summary Name binding is an integral part of the static semantics of programming languages. Modern languages commonly feature name binding constructs, such as packages, modules, …