English Covariance and contravariance (computer science) Cited by user RDBrown on 07 Oct 2021 Many programming language type systems support subtyping. For instance, if the type is a subtype of, then an expression of type should be substitutable wherever an…
Greek Ονομαστικό σύστημα τύπων Cited by user Ggia on 14 Dec 2014 Στην επιστήμη των υπολογιστών ένα ονομαστικό σύστημα τύπων (Αγγλικά: Nominal type system) είναι μια βασική ομάδα του συστήματος τύπων όπου η ισότητα και η συμβατότητα μετα…