type something out/up

Examples of typed

typed

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 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.
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.