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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 248; číslo 1; s. 211 - 242
Hlavní autori:	Taha, Walid, Sheard, Tim
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 06.10.2000
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!