{"version":"1.0","type":"link","title":"Nominal type system - Newikis","description":"In computer science, a type system is nominal (also called nominative or name-based) if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine whether types are equivalent, as well as whether a type is a…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}