Staged computation with names and necessity

DOI10.1017/S095679680500568XzbMath1085.68025MaRDI QIDQ5708289

Aleksandar Nanevski, Frank Pfenning

Publication date: 28 November 2005

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

zbMATH Keywords

staging

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

Directly reflective meta-programming ⋮ Type safe incremental rebinding ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Automatically Splitting a Two-Stage Lambda Calculus ⋮ A Logical Foundation for Environment Classifiers ⋮ Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics

This page was built for publication: Staged computation with names and necessity