Mechanisms for improved covariant type-checking (Q2381977)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanisms for improved covariant type-checking |
scientific article |
Statements
Mechanisms for improved covariant type-checking (English)
0 references
26 September 2007
0 references
Type checking
0 references
covariance
0 references
object-oriented programming languages
0 references
