EntityQ7860899· pop 6· linked from 112 articlestype constructorSign in to savefeature of a typed formal language that builds new types from old onesConnectionslistEntityprimitive data typeEntitySystem FEntitysimply typed lambda calculusEntitycomputer scienceEntityInternational Standard Book NumberEntitymathematical logicEntitybitEntitybyteEntitydata structureEntityQ34010EntitypointerEntityfunctional programmingEntityformal languageEntitydata typeEntityclassEntityfloating pointEntitystringEntityobjectEntityassignable variableEntityCategoriesType theory