{"version":"1.0","type":"link","title":"Bounded quantification - Newikis","description":"In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted (\"bounded\") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}