MetaML and multi-stage programming with explicit annotations

We introduce MetaML, a practically motivated, statically typed multi-stage programming language. MetaML is a “real” language. We have built an implementation and used it to solve multi-stage problems. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manne...

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 248; no. 1; pp. 211 - 242
Main Authors:	Taha, Walid, Sheard, Tim
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 06.10.2000
Subjects:	Functional programming High-level program generation Multi-level languages Multi-stage languages Programming language semantics TECHNOLOGY TEKNIKVETENSKAP Type-safety Type-systems λ-Calculus Type-safety Multi-level languages High-level program generation Programming language semantics Multi-stage languages Type-systems Functional programming λ-Calculus
ISSN:	0304-3975, 1879-2294, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!