(Q124988045)

English

covariance

property of a subtype in programming and type theory

Statements

0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit