A theory of name resolution

DOI10.1007/978-3-662-46669-8_9MaRDI QIDQ2802438zbMATH OpenOpenAlexFDO

Authors Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46669-8_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Binders unbound
• Logic Programming
• Leaving the nest: nominal techniques for variables with interleaving scopes
• Generative unbinding of names
• A lambda-calculus for dynamic binding

Cited in

(2)

• Executable component-based semantics
• Implementing type systems for the IDE with Xsemantics

This page was built for publication: A theory of name resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802438)