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ženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 248; číslo 1; s. 211 - 242
Hlavní autoři:	Taha, Walid, Sheard, Tim
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 06.10.2000
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!