0 past simple and past participle of type --
1 to write using a machine, either a computer keyboard or a typewriter: --
We investigate the use of conjunctive non-standard type inference for the elimination of useless code in higher-order typed functional programs.
The donor's antigens can be typed in several different ways.
In order to give an inductive definition of the encoding for processes, we need to provide operations over typed graphs.
The sixth health-care isolate from a biomedical science student had a different antibiotic sensitivity pattern and was not typed.
In this paper, we compare function definability in intersection type systems with function definability in the simply typed lambda calculus.
This is in contrast to the simply typed lambda calculus and its extensions, which ignore type information at runtime.
Since our language is typed, it is more convenient to define the equivalence in terms of type-indexed families of relations.
Each set of equivalence classes is called a limited model of simply typed lambda calculus.