An ML-style module system for cross-stage type abstraction in multi-stage programming

We propose MetaFM, a novel ML-style module system that enables users to decompose multi-stage programs (i.e., programs written in a typed multi-stage programming language) into loosely coupled components in a manner natural with respect to type abstraction. The distinctive aspect of MetaFM is that i...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Science of computer programming Ročník 248; s. 103379
Hlavní autori:	Suwa, Takashi, Igarashi, Atsushi
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.03.2026
Predmet:	Code generation Macros Module systems Staging Code generation Module systems Staging Macros
ISSN:	0167-6423
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!