MetaKlaim: a type safe multi-stage language for global computing (Q4819115)
From MaRDI portal
scientific article; zbMATH DE number 2103037
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MetaKlaim: a type safe multi-stage language for global computing |
scientific article; zbMATH DE number 2103037 |
Statements
MetaKlaim: a type safe multi-stage language for global computing (English)
0 references
24 September 2004
0 references
