Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14434268n
Noun Named Entity
PT
F*
PT
Linguagem de programação Wikidata
English:
programming language
Definitions
Relations
Sources
PT
Linguagem de programação Wikidata
IS A
linguagem de programação
EN
source-to-source compiler
DEVELOPER
Microsoft Research
INRIA
INFLUENCED BY
Standard ML
F Sharp
OCaml
EN
Lean
Dafny
OPERATING SYSTEM
multiplataforma
PROGRAMMING LANGUAGE
F Sharp
PROGRAMMING PARADIGM
programação funcional
programação imperativa
TYPING DISCIPLINE
EN
type inference
linguagem programação fortemente tipada
EN
static typing
EN
refinement type
Wikidata
PT
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