Incremental rebinding with name polymorphism

DOI10.1016/j.entcs.2016.03.003zbMath1345.68092OpenAlexW2337724494WikidataQ113317702 ScholiaQ113317702MaRDI QIDQ737082

Davide Ancona, Elena Zucca, Paola Giannini

Publication date: 5 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.03.003

zbMATH Keywords

incremental rebindingmetaprogrammingname polymorphismopen code

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unnamed Item

Uses Software

• JavaScript
• Freshml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A lambda-calculus for dynamic binding
• A syntactic theory of dynamic binding
• MetaML and multi-stage programming with explicit annotations
• Extending the lambda-calculus with unbind and rebind
• Generative Unbinding of Names
• A calculus of module systems
• Dynamic rebinding for marshalling and update, with destruct-time ?
• FreshML

This page was built for publication: Incremental rebinding with name polymorphism