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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 248; H. 1; S. 211 - 242
Hauptverfasser:	Taha, Walid, Sheard, Tim
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 06.10.2000
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!