Sentence examples for type system of from inspiring English sources

Only with these elements clearly defined can the type system of Ptolemy II be compared to those extensively studied in type theory.

The implementation requires no installed runtime frameworks and no changes to the JVM or type system of core Java.

We developed the type checker based directly on the typing rules that formalise the type system of Circus.

Properties refine the type system of Haskell but cannot be verified by type-checking alone; a more powerful logical verifier is needed.

This paper describes a new class of alumina composites based on a novel hybrid microstructure design, in which multiwalled carbon nanotubes (MWNTs) and SiC nanoparticles are combined to give a new type system of ceramic nanocomposites.

Predicate has_type_alg represents the syntax directed type system of Fig. 10.

The danger is a US-type system of poor law, from which President Obama has struggled to escape with his health reforms.

The addressing system is not a substitute for a cadastral-type system of coordinates, but it can be a complementary to such a system.

The characteristic large-scale Soviet-type system of farming was introduced in many parts of the country with an agriculturally-based model of Russian kolkhozes.

A technique for the numerical construction of solutions for an essentially non-linear hybrid-type system of constituent equations is proposed.

Throughfall was measured by trough-type system of collectors, each collector with sampling area of 5 cm × 6 m, connected every six troughs to a large tipping bucket raingauge.