MetaML and multi-stage programming with explicit annotations
type: Item
instance of: scholarly article
title: MetaML and multi-stage programming with explicit annotations
zbMATH Open document ID: 0949.68047
DOI: 10.1016/S0304-3975(00)00053-0
author: Tim Sheard
author: Walid Taha
published in: Theoretical Computer Science
publication date: 2000-10-26T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1521801
zbMATH Keywords: Functional programming
zbMATH Keywords: calculus
zbMATH Keywords: high-level program generation
zbMATH Keywords: type-safety
zbMATH Keywords: type-systems
zbMATH Keywords: programming language semantics
zbMATH Keywords: multi-level languages
zbMATH Keywords: multi-stage languages
describes a project that uses: MiniML
describes a project that uses: ML
MaRDI profile type: Publication
cites work: A modal analysis of staged computation
cites work: A partial evaluator for the untyped lambda-calculus
cites work: DyC: An expressive annotation-directed dynamic compiler for C
cites work: Q5287559
cites work: A theory of type polymorphism in programming
cites work: Q4222897
cites work: Program transformations in a denotational setting
cites work: Q3718132
cites work: Two-level semantics and abstract interpretation
cites work: Two-level semantics and code generation
cites work: Two-Level Functional Languages
full work available at URL: s0304-3975(00)00053-0
OpenAlex ID: W2094455839
Recommended article: A metalogic programming approach: language, semantics and applications
Recommended article: Tools and Algorithms for the Construction and Analysis of Systems
Recommended article: A generalized approach to metaprogramming in logic grammars
Recommended article: Q4212954
Recommended article: Q4417870
description: scientific article; zbMATH DE number 1521801