Type safe incremental rebinding

DOI10.1017/S0960129515000109zbMath1362.68035MaRDI QIDQ2971056

Paola Giannini, Davide Ancona, Elena Zucca

Publication date: 4 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

Cites Work

• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• 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
• A calculus of module systems
• Dynamic rebinding for marshalling and update, with destruct-time ?
• Staged computation with names and necessity

This page was built for publication: Type safe incremental rebinding