scientific article; zbMATH DE number 6917244

DOI10.4230/LIPIcs.TYPES.2015.4zbMath1433.68085MaRDI QIDQ4580225

Paola Giannini, Elena Zucca, Davide Ancona

Publication date: 13 August 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

incremental rebindingmetaprogrammingname polymorphismopen code

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• JavaScript
• Freshml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Incremental rebinding with name polymorphism
• A lambda-calculus for dynamic binding
• A syntactic theory of dynamic binding
• MetaML and multi-stage programming with explicit annotations
• Type safe incremental rebinding
• 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: