Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14434268n
Noun Named Entity
EL
No term available
EN
F* is a functional programming language inspired by ML and aimed at program verification. Wikipedia
English:
programming language
Relations
Sources
IS A
γλώσσα προγραμματισμού
EN
source-to-source compiler
DEVELOPER
Microsoft Research
INRIA
INFLUENCED BY
Standard ML
F sharp
OCaml
EN
Lean
EN
Dafny
OPERATING SYSTEM
ανεξάρτητο πλατφόρμας
PROGRAMMING LANGUAGE
F sharp
PROGRAMMING PARADIGM
συναρτησιακός προγραμματισμός
προστακτικός προγραμματισμός
TYPING DISCIPLINE
εξαγωγή τύπων
έντονα δακτυλογραφημένη
EN
static typing
EN
refinement type

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License