This HTML5 document contains 8 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n6http://dbpedia.org/resource/F_Sharp_(programming_language)
n2http://dbpedia.org/resource/F*_(programming_language)
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
n2:
rdfs:comment
F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system is based on a core that resembles System Fω (hence the name), but is extended with dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties.
foaf:name
F*
dbpedia-owl:influencedBy
dbpedia:OCaml n6: dbpedia:Standard_ML
dbpedia-owl:latestReleaseDate
2015-08-29Z
dbpedia-owl:latestReleaseVersion
0.9.0
dbpedia-owl:license
dbpedia:Apache_License