bounded quantification

subtype bound on the range of quantification in parametric polymorphism

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

دسته بندی ها:

parametric polymorphism