contravariance (Q124988105)
Jump to navigation
Jump to search
property of a subtyping relation in type theory and programming
Language | Label | Description | Also known as |
---|---|---|---|
English | contravariance |
property of a subtyping relation in type theory and programming |