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