Deriving session and union types for objects (Q5410236)
From MaRDI portal
scientific article; zbMATH DE number 6285624
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deriving session and union types for objects |
scientific article; zbMATH DE number 6285624 |
Statements
Deriving session and union types for objects (English)
0 references
16 April 2014
0 references
session types
0 references
union types
0 references
type safety
0 references
network applications
0 references
static type checking
0 references
type inference algorithm
0 references
