Това са думите examples, свързани с typed. Щракнете върху която и да е дума, за да отидете на страницата с подробности за думата. Или, отидете на дефиницията на typed.
Her typewriter clacked noisily as she typed out the letter.
Oops! I've typed two L's by mistake.
It would look more professional if the letter was typed.
By typing in simple commands you could pick up objects and talk to other avatars, with your words displayed in a cartoon bubble above your head.
He had injured his left hand and was typing one-handed.
Captions should be typed on a separate sheet.
However, among the 94 oocysts typed from 28 mosquitoes in which no heterozygous oocysts were recovered, there were 20 non-amplifying oocysts.
Moreover, strictly more terms can be typed than with the well-known universal polymorphism.
The expressions are assumed to be well typed.
Section 8, we give a translation from the dependently typed system to the simply typed system and prove its correctness.
This requirement is essential in the simply typed calculus for obtaining non-trivial inequalities.
Each set of equivalence classes is called a limited model of simply typed lambda calculus.
Since our language is typed, it is more convenient to define the equivalence in terms of type-indexed families of relations.
This is in contrast to the simply typed lambda calculus and its extensions, which ignore type information at runtime.
In this paper, we compare function definability in intersection type systems with function definability in the simply typed lambda calculus.
The sixth health-care isolate from a biomedical science student had a different antibiotic sensitivity pattern and was not typed.
In order to give an inductive definition of the encoding for processes, we need to provide operations over typed graphs.
The donor's antigens can be typed in several different ways.
We investigate the use of conjunctive non-standard type inference for the elimination of useless code in higher-order typed functional programs.