Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14434268n
Noun Named Entity
IT
F*
IT
Linguaggio di programmazione Wikidata
English:
programming language
Definitions
Relations
Sources
IT
Linguaggio di programmazione Wikidata
IS A
linguaggio di programmazione
EN
source-to-source compiler
DEVELOPER
Microsoft Research
Institut national de recherche en informatique et en automatique
INFLUENCED BY
Standard ML
F#
OCaml
EN
Lean
EN
Dafny
OPERATING SYSTEM
multipiattaforma
PROGRAMMING LANGUAGE
F#
PROGRAMMING PARADIGM
programmazione funzionale
programmazione imperativa
TYPING DISCIPLINE
inferenza dei tipi
tipizzazione forte
tipizzazione statica
EN
refinement type
Wikidata
IT
F*

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