typed
在英語中,很多動詞的過去分詞及現在分詞都可以用作形容詞。這些示例中,有的顯示作為形容詞時的用法。
Captions should be typed on a separate sheet.
來自 Cambridge English Corpus
However, among the 94 oocysts typed from 28 mosquitoes in which no heterozygous oocysts were recovered, there were 20 non-amplifying oocysts.
來自 Cambridge English Corpus
Moreover, strictly more terms can be typed than with the well-known universal polymorphism.
來自 Cambridge English Corpus
The expressions are assumed to be well typed.
來自 Cambridge English Corpus
Section 8, we give a translation from the dependently typed system to the simply typed system and prove its correctness.
來自 Cambridge English Corpus
This requirement is essential in the simply typed calculus for obtaining non-trivial inequalities.
來自 Cambridge English Corpus
Each set of equivalence classes is called a limited model of simply typed lambda calculus.
來自 Cambridge English Corpus
Since our language is typed, it is more convenient to define the equivalence in terms of type-indexed families of relations.
來自 Cambridge English Corpus
This is in contrast to the simply typed lambda calculus and its extensions, which ignore type information at runtime.
來自 Cambridge English Corpus
In this paper, we compare function definability in intersection type systems with function definability in the simply typed lambda calculus.
來自 Cambridge English Corpus
The sixth health-care isolate from a biomedical science student had a different antibiotic sensitivity pattern and was not typed.
來自 Cambridge English Corpus
In order to give an inductive definition of the encoding for processes, we need to provide operations over typed graphs.
來自 Cambridge English Corpus
The donor's antigens can be typed in several different ways.
來自 Cambridge English Corpus
We investigate the use of conjunctive non-standard type inference for the elimination of useless code in higher-order typed functional programs.
來自 Cambridge English Corpus
示例中的觀點不代表劍橋詞典編輯、劍橋大學出版社和其許可證頒發者的觀點。
|