「SUB-TYPING」の共起表現一覧(2語左で並び替え)
該当件数 : 11件
The HOL admits (separation-style) | subtyping, e.g. |
port both parametric polymorphism and record | subtyping, which can be expressed in system F<:. |
ng, she developed a particular definition of | subtyping, commonly known as the Liskov substitution p |
Inheritance does not entail behavioral | subtyping either. |
ed "F-sub", is an extension of system F with | subtyping. |
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 |
e typed lambda calculi introduce a notion of | subtyping, i.e. if A is a subtype of B, then all terms |
ng conceptual thinker in the area of bipolar | subtyping, Akiskal is a fastidious researcher and an a |
The top type in a type system with | subtyping. |
who was the first to use the term behavioral | subtyping, gave proof-theoretic definitions of some be |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |