Type-safe higher-order channels in ML-like languages (Q5168931)
From MaRDI portal
scientific article; zbMATH DE number 6318906
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type-safe higher-order channels in ML-like languages |
scientific article; zbMATH DE number 6318906 |
Statements
Type-safe higher-order channels in ML-like languages (English)
0 references
21 July 2014
0 references
channel locality
0 references
distributed languages
0 references
higher-order channels
0 references
parallel languages
0 references
