Matches in DBpedia 2014 for { <http://dbpedia.org/resource/F*_(programming_language)> ?p ?o. }
Showing items 1 to 53 of
53
with 100 items per page.
- F*_(programming_language) abstract "F* is a dependently-typed programming language developed at Microsoft Research based on F#. It can be compiled to either .NET CIL or JavaScript.The type system of F* is much richer than that of F#. It allows for functional correctness specifications that can be checked semi-automatically.".
- F*_(programming_language) designer Microsoft_Research.
- F*_(programming_language) developer Microsoft.
- F*_(programming_language) influencedBy F_Sharp_(programming_language).
- F*_(programming_language) latestReleaseDate "2013-04-29".
- F*_(programming_language) latestReleaseVersion "0.7-alpha".
- F*_(programming_language) license Microsoft_Research_License.
- F*_(programming_language) wikiPageExternalLink fstar.
- F*_(programming_language) wikiPageExternalLink fstar.tgz.
- F*_(programming_language) wikiPageExternalLink FStar.
- F*_(programming_language) wikiPageExternalLink jsStar.
- F*_(programming_language) wikiPageID "38420593".
- F*_(programming_language) wikiPageRevisionID "571868942".
- F*_(programming_language) designer Microsoft_Research.
- F*_(programming_language) developer Microsoft.
- F*_(programming_language) hasPhotoCollection F*_(programming_language).
- F*_(programming_language) influencedBy "F#, Fine, F7, FX".
- F*_(programming_language) latestReleaseDate "2013-04-29".
- F*_(programming_language) latestReleaseVersion "0.7".
- F*_(programming_language) license Microsoft_Research_License.
- F*_(programming_language) logo "120".
- F*_(programming_language) name "F*".
- F*_(programming_language) operatingSystem "Cross-platform".
- F*_(programming_language) paradigm Concurrent_computing.
- F*_(programming_language) paradigm Functional_programming.
- F*_(programming_language) paradigm Imperative_programming.
- F*_(programming_language) paradigm Metaprogramming.
- F*_(programming_language) paradigm Object-oriented_programming.
- F*_(programming_language) paradigm Programming_paradigm.
- F*_(programming_language) typing Strong_and_weak_typing.
- F*_(programming_language) typing Type_inference.
- F*_(programming_language) typing Type_system.
- F*_(programming_language) website fstar.
- F*_(programming_language) subject Category:.NET_programming_languages.
- F*_(programming_language) subject Category:Dependently_typed_languages.
- F*_(programming_language) subject Category:Functional_languages.
- F*_(programming_language) subject Category:ML_programming_language_family.
- F*_(programming_language) subject Category:Microsoft_Research.
- F*_(programming_language) type ProgrammingLanguage.
- F*_(programming_language) type Software.
- F*_(programming_language) type Work.
- F*_(programming_language) type CreativeWork.
- F*_(programming_language) type InformationEntity.
- F*_(programming_language) comment "F* is a dependently-typed programming language developed at Microsoft Research based on F#. It can be compiled to either .NET CIL or JavaScript.The type system of F* is much richer than that of F#. It allows for functional correctness specifications that can be checked semi-automatically.".
- F*_(programming_language) label "F* (programming language)".
- F*_(programming_language) label "F*".
- F*_(programming_language) sameAs m.0ql079r.
- F*_(programming_language) sameAs Q5423569.
- F*_(programming_language) sameAs Q5423569.
- F*_(programming_language) wasDerivedFrom F*_(programming_language)?oldid=571868942.
- F*_(programming_language) homepage fstar.
- F*_(programming_language) isPrimaryTopicOf F*_(programming_language).
- F*_(programming_language) name "F*".