bounded quantification

subtype bound on the range of quantification in parametric polymorphism

en-GB/ˈbaʊndɪd kwɒntɪfɪkeɪʃn/
en-US/ˈbaʊndəd ˌkwɑntɪfəˈkeɪʃən/

Categorias:

parametric polymorphism