EntityQ5423569· pop 8· linked from 372 articlesF*Sign in to savefunctional programming language inspired by ML and aimed at program verificationConnectionsLanguage Integrated QueryEntityShared SourceEntityprogramming languageEntitytype systemEntityF#EntitynpmEntityExtensible Application Markup LanguageEntityQ21622213EntityQ21600523EntityTLA+EntityInternetEntityLinuxEntityoperating systemEntityMicrosoft WindowsEntityMicrosoftEntitysoftwareEntityQ15777EntityQ2005EntityJavaEntitycomputer networkEntityCategories2011 softwareAutomated theorem provingCross-platform free softwareDependently typed languagesFunctional languagesHigh-level programming languagesMicrosoft free softwareMicrosoft programming languagesMicrosoft Research.NET programming languagesOCaml programming language familyProgramming languages created in 2011