Global abstraction-safe marshalling with hash types (Q5261268)
From MaRDI portal
scientific article; zbMATH DE number 6455104
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Global abstraction-safe marshalling with hash types |
scientific article; zbMATH DE number 6455104 |
Statements
Global abstraction-safe marshalling with hash types (English)
0 references
2 July 2015
0 references
ML
0 references
abstract types
0 references
distributed programming
0 references
hashing
0 references
lambda calculus
0 references
marshalling
0 references
modules
0 references
programming languages
0 references
serialisation
0 references
singleton kinds
0 references
type theory
0 references
