Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14434268n
Noun Named Entity
Categories: 関数型言語, 自動定理証明
JA
F*
JA
F* はプログラム検証を目的とした、MLに影響を受けた関数型プログラミング言語である。 Wikipedia
English:
programming language
Definitions
Relations
Sources
JA
F* はプログラム検証を目的とした、MLに影響を受けた関数型プログラミング言語である。 Wikipedia
IS A
プログラミング言語
トランスコンパイラ
DEVELOPER
マイクロソフトリサーチ
フランス国立情報学自動制御研究所
INFLUENCED BY
Standard ML
F#
OCaml
Lean定理証明支援系
EN
Dafny
OPERATING SYSTEM
クロスプラットフォーム
PROGRAMMING LANGUAGE
F#
PROGRAMMING PARADIGM
関数型プログラミング
命令型プログラミング
TYPING DISCIPLINE
型推論
ストロング・タイピング
静的型付け
EN
refinement type
Wikipedia
JA
F* (プログラミング言語)
Wikidata
JA
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