Matches in DBpedia 2016-04 for { ?s ?p "F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- F*_(programming_language) comment "F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties.".
- Q5423569 comment "F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties.".