Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/F*_(programming_language)> ?p ?o }
- F*_(programming_language) type Thing.
- F*_(programming_language) type Q386724.
- F*_(programming_language) type Q7397.
- F*_(programming_language) type Q9143.
- F*_(programming_language) 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.".
- F*_(programming_language) label "F* (programming language)".
- F*_(programming_language) sameAs F*.
- F*_(programming_language) sameAs m.0ql079r.
- F*_(programming_language) sameAs Q5423569.
- F*_(programming_language) sameAs Q5423569.
- F*_(programming_language) sameAs F*.
- F*_(programming_language) wasDerivedFrom F*_(programming_language)?oldid=682818854.
- F*_(programming_language) isPrimaryTopicOf F*_(programming_language).
- F*_(programming_language) name "F*".