Bazsites.com Type System

Directory Topics

On the Web

Built-in Type Safety? - C++ is a statically typed language but its type system is not bulletproof. This article reveals some all-too-common type glitches and how to fix them. (Thomas Guest)
Yarrow - A proof-assistant for Pure Type Systems (PTSs), representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is required. (This isomorphism says how you can interpret types as propositions.)
Dependent ML: DML - Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads.
Majestic Systems - Gate and access control systems for residential and community living including hydraulic swing gates, mechanical parking gates systems and Eazy-Pass type systems.
About One Hand Typing and Keyboarding - Resources for learning how to type using a standard keyboard, and a standard mainstream speed touch typing system, without adaptive devices or assistive equipment.
Comparing Mercury and Haskell - Compares type systems, all text. Uses Haskell 98 since Mercury type system is more like Haskell than ML, and Haskell 98 is best documented, most well-known Haskell.
The Matti Kuusi International Type System of Proverbs - Browse or search an international database and type system of proverbs.
Simtool - A free graphical system-simulation and modelling environment for Windows95/98/NT/2000. To design, simulate, and optimize motion control and related systems. Has basic functions that could also be used to simulate many other types of systems.
CPS Translations and Applications: the Cube and Beyond (1996) - Article by G. Barthe, J. Hatcliff, and M.H. Sørensen which presents a CPS translation to Barenderegt's `cube' of pure type systems, and applies this to provide a formulae-as-types correspondence for higher-order classical predicate logic.
Anderson Water Systems - Household water filtration systems. Provides information on different types of systems, customer service and has forms for ordering information packets and filtration supplies.

Wikipedia Articles

Structural type system - A structural type system is a major class of type system, in which type compatibility and equivalence are determined by the type's structure, and not through explicit declarations. Structural systems are used to determine if types are equivalent, as well as if a type is a subtype of another.
Nominative type system - In computer science nominative type system is a major class of type system, in which type compatibility and equivalence is determined by explicit declarations and/or the name of the types. Nominative systems are used to determine if types are equivalent, as well as if a type is a subtype of another.
Top type - The top type in type theory, commonly abbreviated as top or by the down tack symbol (âŠ¤) is the universal type--that type which contains every possible object in the type system of interest. The top type is sometimes called the universal supertype as all other types in any given type system ...
Motorola Type IIi Hybrid - A Motorola Type IIi Hybrid system is a type of Trunked radio system that mixes "blocks" of Type I Fleets/Subfleets with Type II talkgroups. In some cases, all radios support Type II, but in some cases, Type I radios might be used exclusively in subfleets while the Type IIs are used exclusively ...
Joint Electronics Type Designation System - The Joint Electronics Type Designation System (JETDS), which was previously known as the Joint Army-Navy Nomenclature System (AN System) and the Joint Communications-Electronics Nomenclature System, is a method developed by the U.S.