| 单词 | subtyping |
| 释义 | BETA Examples ofsubtypingDictionary> Examples ofsubtyping subtypingisn’t in the Cambridge Dictionary yet. You can help! Add a definition These encodings assume that thesubtypingrelation is completely known a priori. From theCambridge English Corpus Subtypingof cattle isolates revealed a high degree of overlap between cattle and human isolates. From theCambridge English Corpus This leads us to a type system withsubtyping, such that an expression of a trusted type can be typed as an untrusted type. From theCambridge English Corpus In all these cases,subtypingperforms a major role. From theCambridge English Corpus We give a denotational semantics to a calculus with overloading andsubtyping. From theCambridge English Corpus In what follows, we thus formulate an intermediatesubtypingrelation - which is not syntax-directed - and assume in our proofs that the two systems are equivalent. From theCambridge English Corpus The lack of a notion of equality may also have consequences for the implementation of type theories withsubtyping. From theCambridge English Corpus They not only justify the adequacy of the theory from the proof-theoretic perspective, but provide a basis for implementations of coercivesubtyping. From theCambridge English Corpus We study typed behavioural equivalences for the -calculus in which the type system allows a form ofsubtyping. From theCambridge English Corpus On top of the stage comparison relation, another set of rules defines asubtypingrelation on types. From theCambridge English Corpus Subtypingis an essential part of most of these systems. From theCambridge English Corpus Its type system is based on regular expressions, which describe the nesting of elements, andsubtyping. From theCambridge English Corpus The interface is parameterized by an encoding, via phantom types, of thesubtypinghierarchy. From theCambridge English Corpus Thesubtypingproblem for second order types is undecidable. From theCambridge English Corpus Subtypingbulimic women along dietary restraint and negative affect dimensions. From theCambridge English Corpus This is the only case in which asubtypingderivation not containing promotion relates two types that are not -equal. From theCambridge English Corpus In this paper, we have focused on encodingsubtypinginformation. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。