Efficient run-time type checking of typed logic programs (Q4015951)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient run-time type checking of typed logic programs |
scientific article |
Statements
Efficient run-time type checking of typed logic programs (English)
0 references
10 November 1992
0 references
semantics of types
0 references
regular types
0 references
emptiness of regular types
0 references
intersection of regular types
0 references
comparison of regular types
0 references
unification of type terms
0 references
type check elimination
0 references
parametric type rules
0 references
type inference
0 references
type dependencies
0 references
