First-class contexts in ML

DOI10.1142/S0129054100000053MaRDI QIDQ5249030zbMATH OpenOpenAlexFDO

Authors M. Hashimoto

Publication date 29 April 2015

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054100000053

zbMATH Keywords

contextdynamic bindingmacroML

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• A typed context calculus
• Enriching the lambda calculus with contexts: toward a theory of incremental program construction
• scientific article; zbMATH DE number 1629947
• scientific article; zbMATH DE number 1950453
• First-class structures for standard ML

Cited in

(2)

• Programs using syntax with first-class binders
• A sound type system for layer subtyping and dynamically activated first-class layers

This page was built for publication: First-class contexts in ML

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