typed
past simple and past participle oftype
| 单词 | typed |
| 释义 | typed past simple and past participle oftype type verb[IorT] uk/taɪp/us/taɪp/typeverb[I or T](WRITE)B1 to write using amachine, either acomputerkeyboardor atypewriter: Sheaskedme to type acoupleofletters. He can type veryquickly. I was typingawayinto the earlyhoursof themorningjust to get it done.
Writing & typing
Phrasal verbstypesomethingin typesomethingout/up Examplesoftypedtyped In English, many past and present participles of verbs can be used as adjectives. Some of these examples may show the adjective use. Captions should betypedon a separate sheet. From theCambridge English Corpus However, among the 94 oocyststypedfrom 28 mosquitoes in which no heterozygous oocysts were recovered, there were 20 non-amplifying oocysts. From theCambridge English Corpus Moreover, strictly more terms can betypedthan with the well-known universal polymorphism. From theCambridge English Corpus The expressions are assumed to be welltyped. From theCambridge English Corpus Section 8, we give a translation from the dependentlytypedsystem to the simplytypedsystem and prove its correctness. From theCambridge English Corpus This requirement is essential in the simplytypedcalculus for obtaining non-trivial inequalities. From theCambridge English Corpus Each set of equivalence classes is called a limited model of simplytypedlambda calculus. From theCambridge English Corpus Since our language istyped, it is more convenient to define the equivalence in terms of type-indexed families of relations. From theCambridge English Corpus This is in contrast to the simplytypedlambda calculus and its extensions, which ignore type information at runtime. From theCambridge English Corpus In this paper, we compare function definability in intersection type systems with function definability in the simplytypedlambda calculus. From theCambridge English Corpus The sixth health-care isolate from a biomedical science student had a different antibiotic sensitivity pattern and was nottyped. From theCambridge English Corpus In order to give an inductive definition of the encoding for processes, we need to provide operations overtypedgraphs. From theCambridge English Corpus The donor's antigens can betypedin several different ways. From theCambridge English Corpus We investigate the use of conjunctive non-standard type inference for the elimination of useless code in higher-ordertypedfunctional programs. 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. |
| 随便看 |
|
英汉双解词典包含207842条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。