Type inference for datalog with complex type hierarchies (Q5255069)
From MaRDI portal
scientific article; zbMATH DE number 6445091
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type inference for datalog with complex type hierarchies |
scientific article; zbMATH DE number 6445091 |
Statements
Type inference for datalog with complex type hierarchies (English)
0 references
11 June 2015
0 references
Datalog
0 references
type inference
0 references
type system
0 references
