EntityQ621618· pop 5· linked from 62 articlesATSSign in to saveprogramming languageConnectionsprogramming languageEntitytype systemEntityautomated theorem provingEntityalgebraic data typeEntitysoftwareEntityQ15777EntityQ2407Entitycomputer programmingEntityWayback MachineEntitytheoremEntityobject-oriented programmingEntityGNU General Public LicenseEntityQ364Entityopen-source softwareEntityBoston UniversityEntitysoftware licenseEntitypointerEntityhigh-level programming languageEntityfunctional programmingEntitysoftware developmentEntityCategoriesCross-platform free softwareDeclarative programming languagesDependently typed languagesExtensible syntax programming languagesFree and open source compilersFunctional languagesHigh-level programming languagesML programming language familyMulti-paradigm programming languagesObject-oriented programming languagesOCaml programming language family