「SUB-TYPING」の共起表現一覧(1語右で並び替え)
該当件数 : 10件
| 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<:. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
