Post #3066776

@mc@mathstodon.xyz is there a follow-up paper that you recommend that talks about multiple variable binding and nested binding contexts? (e.g. local variable shadowing/aliasing whether in an imperative or functional language)