Staged computation with staged lexical scope

DOI10.1007/978-3-642-28869-2_28MaRDI QIDQ2892751zbMATH OpenOpenAlexFDO

Authors Morten Rhiger

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_28

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A modal analysis of staged computation
• Staged computation with names and necessity
• A polymorphic modal type system for Lisp-like multi-staged languages
• Type-specialized staged programming with process separation
• On Cross-Stage Persistence in Multi-Stage Programming

Cited in

(9)

• Type-specialized staged programming with process separation
• scientific article; zbMATH DE number 1670811 (Why is no real title available?)
• Modal intersection types, two-level languages, and staged synthesis
• Automatically splitting a two-stage lambda calculus
• A modal analysis of staged computation
• A polymorphic modal type system for Lisp-like multi-staged languages
• Staged computation with names and necessity
• Contextual modal type theory with polymorphic contexts
• A dependently typed multi-stage calculus

This page was built for publication: Staged computation with staged lexical scope

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