「Subtyping」の共起表現(1語右で並び替え)

ng conceptual thinker in the area of bipolar subtyping, Akiskal is a fastidious researcher and an a

ng, she developed a particular definition of subtyping, commonly known as the Liskov substitution p

The HOL admits (separation-style) subtyping, e.g.

Inheritance does not entail behavioral subtyping either.

who was the first to use the term behavioral subtyping, gave proof-theoretic definitions of some be

Subtyping however is not represented in the cube, even

e typed lambda calculi introduce a notion of subtyping, i.e. if A is a subtype of B, then all terms

plementation of internationally standardized subtyping methods to be used in the networks and perfo

Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT

port both parametric polymorphism and record subtyping, which can be expressed in system F<:.

「Subtyping」の共起表現一覧(1語右で並び替え)