I wonder if there is any research that draws insightful connections between these theoretical models of variable binding and the usual way of writing a compiler

I wonder if there is any research that draws insightful connections between these theoretical models of variable binding and the usual way of writing a compiler with nested symbol tables.