Finally, another difference is that Java makes heavy use of boxed types in generics (see below).

Most applications require the use of such specific types of nanotubes.

There are also standards regulating the use of certain types of packaging and closures.

However, can also be very useful for expressions in code that makes heavy use of operator overloading and specialized types.

Troops bound for France were trained in the use of several types of artillery.

The high speeds may limit the use of certain types of bits.

Weber argued that the use of ideal types is indispensable in social science.

The following is a common example that makes use of dependent types:

With this proposal we seek neither to mandate nor to prohibit the use of specific types of cells.

Laser medicine is the use of various types of lasers in medical diagnosis, treatment, or therapy.