(computing theory) A classical type system for the lambda calculus with parametric polymorphism, notable for its completeness and its ability to infer the most general type of a given program without programmer-supplied type annotations or other hints.

A form of diabetes characterized by high blood sugar, insulin resistance, and relative lack of insulin.

(biology, medicine) cheese

Alternative form of find as you type

(computing) An autocomplete feature when used to search for something.

Alternative form of search as you type

Synonym of autocomplete (when used to search for something)

(typography) A form of type that slants slightly to the right.

plural of typhoid fever

Alternative form of balloon tire