Tagless staged interpreters for typed languages

DOI10.1145/581478.581499zbMath1322.68033OpenAlexW2066038668MaRDI QIDQ2949208

Emir Pasalic, T. Sheard, Walid Taha

Publication date: 7 October 2015

Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/581478.581499

zbMATH Keywords

calculus of constructionsdomain-specific languagesmulti-stage programmingdefinitional interpreters

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (8)

Self-quotation in a typed, intensional lambda-calculus ⋮ A Reflection on Types ⋮ Type-specialized staged programming with process separation ⋮ Normalization by evaluation for modal dependent type theory ⋮ Implicitly heterogeneous multi-stage programming ⋮ Statically safe program generation with SafeGen ⋮ Lightweight Static Capabilities ⋮ Meta-programming With Built-in Type Equality

This page was built for publication: Tagless staged interpreters for typed languages