Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 2 of
2
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) 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.".