Semantic preservation for a type directed translation scheme of Featherweight Go (Q6109210)
From MaRDI portal
scientific article; zbMATH DE number 7705362
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic preservation for a type directed translation scheme of Featherweight Go |
scientific article; zbMATH DE number 7705362 |
Statements
Semantic preservation for a type directed translation scheme of Featherweight Go (English)
0 references
30 June 2023
0 references
