Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction

DOI10.1017/S0956796807006600zbMath1153.68014OpenAlexW2109261879MaRDI QIDQ3520166

No author found.

Publication date: 15 August 2008

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796807006600

zbMATH Keywords

core dynamic rebinding

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Compilation of extended recursion in call-by-value functional languages

Uses Software

• OCaml

Cites Work

• A lambda-calculus for dynamic binding
• The revised report on the syntactic theories of sequential control and state
• A syntactic theory of dynamic binding
• Skew confluence and the lambda calculus with letrec
• Acute: High-level programming language design for distributed computation
• A typed context calculus

This page was built for publication: Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction