EntityQ200996· pop 5· linked from 29 articlesHindley–MilnerSign in to savetype system supporting type inferenceConnectionsSystem FEntityunificationEntityInternational Standard Book NumberEntityQ15777Entityprogramming languageEntityQ2407Entitydigital object identifierEntityQ81571Entityobject-oriented programmingEntitysource codeEntityQ34010EntityPrologEntityJSTOROrganizationquicksortEntitycardinalityEntityfunctional programmingEntitysubroutineEntitylambda calculusEntitypolymorphismEntityidentity functionEntityCategories1969 in computing1978 in computing1985 in computingAlgorithmsFormal methodsLambda calculusTheoretical computer scienceType inferenceType systemsType theory