Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
OCaml
An Entity of Type:
programming language
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Extension of the Caml programming language
Property
Value
dbo:
description
Programmiersprache
(de)
Programméiersprooch
(lb)
język programowania
(pl)
lenguaje de programación
(es)
limbaj de programare
(ro)
linguagem de programação
(pt)
linguaggio di programmazione
(it)
linguaxe de programación
(gl)
llenguatge de programació
(ca)
ohjelmointikieli
(fi)
programlingvo
(eo)
programmeringssprog
(da)
programmeringsspråk
(nn)
programovací jazyk
(cs)
programovací jazyk
(sk)
programspråk
(sv)
γλώσσα προγραμματισμού
(el)
प्रोग्रामिंग भाषा
(hi)
ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ
(pa)
പ്രോഗ്രാമിങ് ഭാഷ
(ml)
プログラミング言語
(ja)
programmeertaal
(nl)
Caml programlama dilinin uzantısı
(tr)
Caml程式語言的擴充
(zh)
Langage de programmation fonctionnel
(fr)
extension of the Caml programming language
(en)
dbo:
developer
dbr
:French_Institute_for_Research_in_Computer_Science_and_Automation
dbo:
influenced
dbr
:F_Sharp_(programming_language)
dbr
:Haxe
dbr
:Opa_(programming_language)
dbr
:Rust_(programming_language)
dbr
:Scala_(programming_language)
dbr
:Coq_(software)
dbr
:Elm_(programming_language)
dbr
:Gleam_(programming_language)
dbr
:F*_(programming_language)
dbr
:ATS_(programming_language)
dbo:
influencedBy
dbr
:C_(programming_language)
dbr
:Modula-3
dbr
:Pascal_(programming_language)
dbr
:Standard_ML
dbr
:Caml
dbo:
license
dbr
:GNU_Lesser_General_Public_License
dbo:
thumbnail
wiki-commons
:Special:FilePath/OCaml_Logo.svg?width=300
dbo:
wikiPageExternalLink
https://github.com/bcpierce00/unison
http://functory.lri.fr/About.html
http://wiki.erights.org/wiki/Emily
https://bucklescript.github.io/
https://discuss.ocaml.org/
https://ocaml.org/
https://semgrep.dev/
https://www.lexifi.com/apropos/
http://caml.inria.fr/pub/docs/manual-ocaml/
https://opam.ocaml.org/
http://projects.camlcity.org/projects/ocamlnet.html
https://realworldocaml.org
https://github.com/ocaml-ppx/ocamlformat
https://github.com/ocaml/dune
https://github.com/ocaml/merlin
https://github.com/ocaml/ocaml-lsp
https://github.com/ocsigen/js_of_ocaml
dbo:
wikiPageWikiLink
dbr
:Effect_system
dbr
:Object-oriented_programming
dbr
:Recursion_(computer_science)
dbr
:Foreign_function_interface
dbr
:Frama-C
dbr
:Categorical_abstract_machine
dbr
:Android_(operating_system)
dbr
:Apple_Inc.
dbr
:Facebook
dbr
:JavaScript
dbr
:Java_(programming_language)
dbr
:Microsoft_Windows
dbr
:PHP
dbr
:Financial_engineering
dbr
:Static_program_analysis
dbr
:Arbitrary-precision_arithmetic
dbr
:Toolchain
dbr
:Unikernel
dbc
:Extensible_syntax_programming_languages
dbr
:.NET_Framework
dbr
:C++
dbr
:C_(programming_language)
dbr
:C_Sharp_(programming_language)
dbr
:Compiler
dbr
:Discrete_Fourier_transform
dbr
:F_Sharp_(programming_language)
dbr
:GNU_Lesser_General_Public_License
dbr
:Hack_(programming_language)
dbr
:Haxe
dbr
:IA-32
dbr
:IOS
dbr
:Lisp_(programming_language)
dbr
:ML_(programming_language)
dbr
:MacOS
dbr
:Modula-3
dbr
:Objective-C
dbr
:Opa_(programming_language)
dbr
:Python_(programming_language)
dbr
:Rust_(programming_language)
dbr
:SPARC
dbr
:Scala_(programming_language)
dbr
:Turing_Award
dbr
:University_of_Edinburgh
dbr
:Unix
dbr
:Web_browser
dbr
:X86-64
dbr
:Linker_(computing)
dbr
:Web_framework
dbr
:Pattern_matching
dbr
:Source_code
dbr
:Abstract_machine
dbr
:Xen
dbr
:HOL_Light
dbr
:Switch_statement
dbc
:Functional_languages
dbc
:Object-oriented_programming_languages
dbr
:Parametric_polymorphism
dbc
:Cross-platform_free_software
dbr
:Program_transformation
dbc
:OCaml_software
dbc
:Programming_languages_created_in_1996
dbr
:Fortran
dbr
:Integrated_development_environment
dbr
:Pascal_(programming_language)
dbr
:University_of_Oxford
dbr
:Bloomberg_L.P.
dbr
:Free_and_open-source_software
dbr
:Hypervisor
dbr
:Virtualization
dbr
:Automated_theorem_proving
dbr
:Elm_(programming_language)
dbr
:Exponentiation
dbr
:Natural_number
dbr
:Standard_ML
dbr
:Machine_code
dbr
:Documentation_generator
dbr
:Formal_proof
dbr
:EDonkey_network
dbr
:Coccinelle_(software)
dbr
:Exception_handling
dbr
:Anonymous_function
dbr
:FFTW
dbr
:Higher-order_function
dbr
:Owl_Scientific_Computing
dbr
:Formal_methods
dbr
:Library_(computing)
dbr
:Paris_Diderot_University
dbr
:RISC-V
dbr
:Imperative_programming
dbr
:Damien_Doligez
dbr
:Word_(computer_architecture)
dbr
:Type_system
dbr
:Reason_(programming_language)
dbr
:WebAssembly
dbr
:File_synchronization
dbr
:Interpreter_(computing)
dbr
:OpenGL
dbr
:Symmetric_multiprocessing
dbr
:Proprietary_trading
dbr
:Systems_programming
dbr
:JoCaml
dbr
:Code_generation_(compiler)
dbr
:Function_object
dbr
:Church_encoding
dbr
:French_Institute_for_Research_in_Computer_Science_and_Automation
dbr
:Functional_programming
dbr
:Lambda_calculus
dbr
:Logic_for_Computable_Functions
dbr
:Quicksort
dbr
:Robin_Milner
dbr
:Type_inference
dbr
:Caml
dbr
:Turnkey
dbr
:Jane_Street_Capital
dbr
:Serialization
dbr
:Run-time_type_information
dbr
:Cross-platform
dbr
:Lexical_analysis
dbr
:Integer_(computer_science)
dbr
:Tezos
dbr
:Modular_programming
dbr
:F*_(programming_language)
dbr
:Peer-to-peer_file_sharing
dbr
:Power_ISA
dbr
:Web_development
dbr
:Fibonacci_number
dbr
:Data_type
dbr
:Debugger
dbr
:Parsing
dbr
:Programming_paradigm
dbr
:Funarg_problem
dbc
:Statically_typed_programming_languages
dbr
:Partial_application
dbc
:Articles_with_example_OCaml_code
dbr
:Java_virtual_machine
dbr
:Birthday_problem
dbr
:Capability-based_security
dbr
:ATS_(programming_language)
dbr
:Garbage_collection_(computer_science)
dbr
:Bytecode
dbr
:Citrix_Systems
dbr
:Gérard_Huet
dbr
:Luca_Cardelli
dbr
:Xavier_Leroy
dbr
:Proof_(truth)
dbr
:Coq
dbr
:General-purpose_programming_language
dbr
:Discourse_(software)
dbr
:Type_signature
dbr
:Read–eval–print_loop
dbr
:GeneWeb
dbr
:Syntax_(programming_languages)
dbr
:Persistent_data_structure
dbr
:Laboratory_for_Foundations_of_Computer_Science
dbc
:ML_programming_language_family
dbr
:Object-capability_model
dbc
:Articles_with_example_code
dbr
:Compiler_optimization
dbc
:OCaml_programming_language_family
dbr
:Multi-paradigm_programming_language
dbr
:Boxing_(computer_science)
dbc
:Pattern_matching_programming_languages
dbr
:Multi-stage_programming
dbr
:Language_Server_Protocol
dbr
:Facebook_Messenger
dbr
:Strong_and_weak_typing
dbr
:ARM64
dbr
:ARM_architecture
dbr
:Array_data_structure
dbr
:Static_typing
dbr
:Structural_typing
dbr
:Profiler_(computer_science)
dbr
:PIC_microcontroller
dbr
:Zero_Install
dbr
:Parallel_programming
dbr
:Native_code
dbr
:Xen_Cloud_Platform
dbr
:Tail_recursion
dbr
:Semantic_analysis_(computer_science)
dbr
:Array_bounds_checking
dbr
:Fold_function
dbr
:Closure_(computer_science)
dbr
:MLdonkey
dbr
:Bytecode_interpreter
dbr
:Caml_Light
dbr
:MirageOS
dbr
:Thread_(computer_science)
dbr
:Structural_subtyping
dbc
:Free_compilers_and_interpreters
dbr
:Ascánder_Suárez
dbr
:Pierre-Louis_Curien
dbr
:Functional_Abstract_Machine
dbr
:Guy_Cousineau_(computer_scientist)
dbr
:Michel_Mauny_(computer_science)
dbr
:Pierre_Weis_(computer_scientist)
dbr
:ReScript_(programming_language)
dbp:
designers
Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez
(en)
dbp:
developer
dbr
:French_Institute_for_Research_in_Computer_Science_and_Automation
dbp:
family
dbr
:ML_(programming_language)
dbr
:Caml
dbp:
fileExt
.ml, .mli
(en)
dbp:
influenced
dbr
:F_Sharp_(programming_language)
dbr
:Haxe
dbr
:Opa_(programming_language)
dbr
:Rust_(programming_language)
dbr
:Scala_(programming_language)
dbr
:Coq_(software)
dbr
:Elm_(programming_language)
dbr
:Gleam_(programming_language)
dbr
:F*_(programming_language)
dbr
:ATS_(programming_language)
dbp:
influencedBy
dbr
:C_(programming_language)
dbr
:Modula-3
dbr
:Pascal_(programming_language)
dbr
:Standard_ML
dbr
:Caml
dbp:
license
dbr
:GNU_Lesser_General_Public_License
dbp:
logo
OCaml Logo.svg
(en)
dbp:
name
OCaml
(en)
dbp:
operatingSystem
dbr
:Linux
dbr
:Microsoft_Windows
dbr
:Cross-platform_software
dbr
:MacOS
dbr
:Unix
dbp:
paradigms
dbr
:Object-oriented_programming
dbr
:Imperative_programming
dbr
:Functional_programming
dbr
:Modular_programming
dbr
:Programming_paradigm
dbp:
platform
dbr
:ARM_architecture_family
dbr
:IA-32
dbr
:SPARC
dbr
:X86-64
dbr
:RISC-V
dbr
:Power_ISA
dbp:
programmingLanguage
OCaml, C
(en)
dbp:
typing
dbr
:Type_system
dbr
:Type_inference
dbr
:Structural_type_system
dbr
:Strong_and_weak_typing
dbp:
wikiPageUsesTemplate
dbt
:=
dbt
:Authority_control
dbt
:Distinguish
dbt
:IPAc-en
dbt
:Infobox_programming_language
dbt
:Mono
dbt
:Official_website
dbt
:One_source
dbt
:Programming_languages
dbt
:Reflist
dbt
:Respell
dbt
:Short_description
dbt
:Start_date_and_age
dbt
:Use_dmy_dates
dbt
:Wikibooks
dbt
:Wikidata
dbt
:OCaml
dbt
:ML_programming
dbp:
wikibooks
OCaml
(en)
dbp:
wordnet_type
http://www.w3.org/2006/03/wn/wn20/instances/synset-programming_language-noun-1
dct:
subject
dbc
:Extensible_syntax_programming_languages
dbc
:Functional_languages
dbc
:Object-oriented_programming_languages
dbc
:Cross-platform_free_software
dbc
:OCaml_software
dbc
:Programming_languages_created_in_1996
dbc
:Statically_typed_programming_languages
dbc
:Articles_with_example_OCaml_code
dbc
:ML_programming_language_family
dbc
:High-level_programming_languages
dbc
:OCaml_programming_language_family
dbc
:Pattern_matching_programming_languages
dbc
:Software_using_the_LGPL_license
dbc
:Free_and_open_source_interpreters
gold:
hypernym
dbr
:Implementation
rdf:
type
owl
:Thing
dbo
:Language
dbo
:Language
wikidata
:Q315
wikidata
:Q9143
dbo
:ProgrammingLanguage
dbo
:ProgrammingLanguage
dbo
:ProgrammingLanguage
schema
:Language
rdfs:
label
OCaml
(en)
لغة كامل الموضوعية
(ar)
OCaml
(cs)
OCaml
(ca)
OCaml
(el)
Objective CAML
(de)
OCaml
(fr)
OCaml
(it)
OCaml
(ja)
OCaml
(ko)
OCaml
(pl)
Ocaml
(nl)
OCaml
(pt)
OCaml
(ru)
Objective Caml
(uk)
OCaml
(zh)
owl:
differentFrom
dbr
:Occam_(programming_language)
owl:
sameAs
freebase
:OCaml
yago-res
:OCaml
wikidata
:OCaml
dbpedia-de
:OCaml
dbpedia-it
:OCaml
dbpedia-nl
:OCaml
dbpedia-pl
:OCaml
dbpedia-tr
:OCaml
dbpedia-fr
:OCaml
dbpedia-da
:OCaml
dbpedia-he
:OCaml
dbpedia-ja
:OCaml
dbpedia-pt
:OCaml
dbpedia-ru
:OCaml
dbpedia-zh
:OCaml
dbpedia-vi
:OCaml
dbpedia-el
:OCaml
dbpedia-ko
:OCaml
dbpedia-ca
:OCaml
http://d-nb.info/gnd/7578649-7
http://viaf.org/viaf/8149106282068492326
dbpedia-ar
:OCaml
dbpedia-az
:OCaml
dbpedia-cs
:OCaml
dbpedia-fa
:OCaml
dbpedia-fi
:OCaml
dbpedia-gl
:OCaml
dbpedia-ka
:OCaml
dbpedia-ml
:OCaml
dbpedia-ms
:OCaml
dbpedia-nn
:OCaml
dbpedia-no
:OCaml
dbpedia-simple
:OCaml
dbpedia-sl
:OCaml
dbpedia-tg
:OCaml
dbpedia-uk
:OCaml
dbpedia-global
:OCaml
prov:
wasDerivedFrom
wikipedia-en
:OCaml?oldid=1308526994&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Award_for_OCaml_at_POPL_2024.jpg
wiki-commons
:Special:FilePath/OCaml_Logo.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:OCaml
foaf:
name
OCaml
(en)
is
dbo:
influenced
of
dbr
:Modula-3
dbr
:Standard_ML
dbr
:Caml
is
dbo:
influencedBy
of
dbr
:Haxe
dbr
:Opa_(programming_language)
dbr
:Scala_(programming_language)
dbr
:F_Sharp_(programming_language)__F#__1
dbr
:Elm_(programming_language)
dbr
:Boomerang_(programming_language)
dbr
:Reason_(programming_language)
dbr
:Flix_(programming_language)
dbr
:F*_(programming_language)__F*__1
dbr
:StaDyn_(programming_language)
dbr
:ATS_(programming_language)
dbr
:Eff_(programming_language)
dbr
:Frenetic_(programming_language)
dbr
:Hack_(programming_language)__Hack__1
is
dbo:
knownFor
of
dbr
:Damien_Doligez
is
dbo:
programmingLanguage
of
dbr
:CryptoVerif
dbr
:Frama-C
dbr
:HHVM
dbr
:Alt-Ergo
dbr
:Coq_(software)
dbr
:Coccinelle_(software)
dbr
:Owl_Scientific_Computing
dbr
:ProVerif
dbr
:Jape_(software)
dbr
:Libguestfs
dbr
:ROX_Desktop__Zero_Install__1
dbr
:BLAST_model_checker
dbr
:MTASC
dbr
:Semgrep__OSS__1
dbr
:Matita
dbr
:MLDonkey
dbr
:Liquidsoap
dbr
:Jeroo
dbr
:Astrée_(static_analysis)
dbr
:Marionnet
dbr
:GeneWeb
dbr
:WikiTrust
is
dbo:
wikiPageDisambiguates
of
dbr
:CAML
is
dbo:
wikiPageRedirects
of
dbr
:MetaOCaml
dbr
:O’Caml
dbr
:O`Caml
dbr
:O'Caml
dbr
:O'Caml_(programming_language)
dbr
:O'Caml_programming_language
dbr
:O'caml
dbr
:OCAML
dbr
:OCaml_(programming_language)
dbr
:OCaml_Package_Manager
dbr
:OCaml_programming_language
dbr
:Objective_CAML
dbr
:Objective_Caml
dbr
:Objective_Caml_(programming_language)
dbr
:Objective_Caml_programming_language
dbr
:Objective_caml
dbr
:Ocaml
dbr
:Ocaml.org
dbr
:Ocaml_Programming_Language
dbr
:Ocaml_programming_language
dbr
:Ocamlyacc
is
dbo:
wikiPageWikiLink
of
dbr
:Type_class
dbr
:Associative_array
dbr
:Octal
dbr
:Semantics
dbr
:Apache_Thrift
dbr
:Kate_(text_editor)
dbr
:Language_binding
dbr
:Fold_(higher-order_function)
dbr
:Q_Public_License
dbr
:Claire_(programming_language)
dbr
:CryptoVerif
dbr
:Frama-C
dbr
:Unit_type
dbr
:Comparison_of_BitTorrent_tracker_software
dbr
:TensorFlow
dbr
:Nuprl
dbr
:HOL_(proof_assistant)
dbr
:MessagePack
dbr
:List_of_language_bindings_for_GTK
dbr
:Mustache_(template_system)
dbr
:HHVM
dbr
:Rosetta_Code
dbr
:Trait_(computer_programming)
dbr
:SLAM_project
dbr
:Self-hosting_(compilers)
dbr
:Lambda_lifting
dbr
:List_of_programming_language_researchers
dbr
:Complex_data_type
dbr
:MediaWiki
dbr
:Chipmunk_(software)
dbr
:Entry_point
dbr
:MLI
dbr
:Bootstrapping_(compilers)
dbr
:Parsec_(parser)
dbr
:ICFP_Programming_Contest
dbr
:Typedef
dbr
:Comparison_of_BitTorrent_clients
dbr
:F_Sharp_(programming_language)
dbr
:Hack_(programming_language)
dbr
:Haxe
dbr
:ML_(programming_language)
dbr
:Modula-3
dbr
:Nemerle
dbr
:Opa_(programming_language)
dbr
:Rust_(programming_language)
dbr
:Scala_(programming_language)
dbr
:GD_Graphics_Library
dbr
:Monad_(functional_programming)
dbr
:QuickCheck
dbr
:Declarative_programming
dbr
:Bounds_checking
dbr
:First-class_function
dbr
:Tail_call
dbr
:Dynamic_software_updating
dbr
:Parametric_polymorphism
dbr
:Buffer_overflow
dbr
:Question_mark
dbr
:Tilde
dbr
:Underscore
dbr
:Apache_Hadoop
dbr
:Automated_reasoning
dbr
:Elm_(programming_language)
dbr
:Exponentiation
dbr
:Isabelle_(proof_assistant)
dbr
:Standard_ML
dbr
:Immutable_object
dbr
:Decimal_separator
dbr
:Exclamation_mark
dbr
:Control_flow
dbr
:List_of_French_inventions_and_discoveries
dbr
:Coccinelle_(software)
dbr
:Lego_Mindstorms
dbr
:Exception_handling
dbr
:Anonymous_function
dbr
:Mixin
dbr
:Type_variable
dbr
:System_time
dbr
:Backtick
dbr
:FFTW
dbr
:Futures_and_promises
dbr
:Owl_Scientific_Computing
dbr
:List_of_file_formats
dbr
:Simple_and_Fast_Multimedia_Library
dbr
:SLIME
dbr
:Boomerang_(programming_language)
dbr
:Damien_Doligez
dbr
:ProVerif
dbr
:Libguestfs
dbr
:Relational_operator
dbr
:List_of_JVM_languages
dbr
:Type_system
dbr
:Preprocessor
dbr
:Reason_(programming_language)
dbr
:Result_type
dbr
:Datalog
dbr
:Simple_DirectMedia_Layer
dbr
:List_of_CLI_languages
dbr
:Number_sign
dbr
:Regular_expression
dbr
:Cygwin
dbr
:Dimensional_analysis
dbr
:Covariance_and_contravariance_(computer_science)
dbr
:Flix_(programming_language)
dbr
:Redis
dbr
:Reason_(disambiguation)
dbr
:Lightweight_markup_language
dbr
:BLAST_model_checker
dbr
:JoCaml
dbr
:MTASC
dbr
:Comparison_of_multi-paradigm_programming_languages
dbr
:Semgrep
dbr
:Simon_Thompson_(professor)
dbr
:Variant_type_(COM)
dbr
:Evaluation_strategy
dbr
:Benevolent_dictator_for_life
dbr
:SWIG
dbr
:Concurrent_computing
dbr
:French_Institute_for_Research_in_Computer_Science_and_Automation
dbr
:Functional_programming
dbr
:LAPACK
dbr
:Message_Passing_Interface
dbr
:Type_inference
dbr
:Abstraction_(computer_science)
dbr
:Caml
dbr
:List_of_object-oriented_programming_languages
dbr
:Conditional_(computer_programming)
dbr
:Jane_Street_Capital
dbr
:Freespire
dbr
:Comment_(computer_programming)
dbr
:Logical_shift
dbr
:Proof_assistant
dbr
:Serialization
dbr
:Assignment_(computer_science)
dbr
:Software_transactional_memory
dbr
:Bigraph
dbr
:List_of_Debian_project_leaders
dbr
:List_of_programming_languages_by_type
dbr
:Join-calculus
dbr
:Join-pattern
dbr
:Matita
dbr
:Letter_case
dbr
:Operator_(computer_programming)
dbr
:Constant_(computer_programming)
dbr
:Set_(abstract_data_type)
dbr
:Association_list
dbr
:Camlp4
dbr
:Ephemeron
dbr
:Enumerated_type
dbr
:Hardware_description_language
dbr
:MLDonkey
dbr
:Map_(higher-order_function)
dbr
:Quine_(computing)
dbr
:Libvirt
dbr
:Lambda_cube
dbr
:Generic_programming
dbr
:Arithmetic_shift
dbr
:PLplot
dbr
:Spread_Toolkit
dbr
:Integer_(computer_science)
dbr
:Comparison_of_file-sharing_applications
dbr
:Structural_type_system
dbr
:Comparison_of_programming_languages
dbr
:Tezos
dbr
:Recursive_data_type
dbr
:Expression-oriented_programming_language
dbr
:Modular_programming
dbr
:F*_(programming_language)
dbr
:Asterisk
dbr
:Characters_per_line
dbr
:PhoX
dbr
:Short-circuit_evaluation
dbr
:Compiled_language
dbr
:Empty_string
dbr
:Link_grammar
dbr
:History_of_software
dbr
:Deterministic_algorithm
dbr
:RocksDB
dbr
:Guard_(computer_science)
dbr
:Generalized_algebraic_data_type
dbr
:Funarg_problem
dbr
:List_of_interactive_geometry_software
dbr
:NekoVM
dbr
:Pcap
dbr
:Single-precision_floating-point_format
dbr
:Snake_case
dbr
:Waf_(build_system)
dbr
:WideStudio
dbr
:Foreach_loop
dbr
:Augeas_(software)
dbr
:Source-to-source_compiler
dbr
:Marionnet
dbr
:Lazy_evaluation
dbr
:Content-addressable_storage
dbr
:StaDyn_(programming_language)
dbr
:FastCGI
dbr
:Comparison_of_Direct_Connect_software
dbr
:Comparison_of_file_synchronization_software
dbr
:Comparison_of_parser_generators
dbr
:Comparison_of_programming_languages_(array)
dbr
:Comparison_of_programming_languages_(associative_array)
dbr
:Comparison_of_programming_languages_(basic_instructions)
dbr
:Comparison_of_programming_languages_(object-oriented_programming)
dbr
:Comparison_of_programming_languages_(string_functions)
dbr
:Comparison_of_programming_languages_(strings)
dbr
:Comparison_of_programming_languages_(syntax)
dbr
:Comparison_of_regular_expression_engines
dbr
:ATS_(programming_language)
dbr
:C++14
dbr
:Bytecode
dbr
:Xavier_Leroy
dbr
:Timeline_of_programming_languages
dbr
:BSON
dbr
:Filter_(higher-order_function)
dbr
:System_F
dbr
:Coq
dbr
:Infer_Static_Analyzer
dbr
:Metaprogramming
dbr
:Finger_tree
dbr
:General-purpose_programming_language
dbr
:Functor_(disambiguation)
dbr
:Algebraic_data_type
dbr
:Reference_(computer_science)
dbr
:Eff_(programming_language)
dbr
:Z3_Theorem_Prover
dbr
:Weak_reference
dbr
:Downcasting
dbr
:Channel_(programming)
dbr
:Yacc
dbr
:Binary_tree
dbr
:History_of_programming_languages
dbr
:Multiple_inheritance
dbr
:GNU_Multiple_Precision_Arithmetic_Library
dbr
:GeneWeb
dbr
:Gnutella2
dbr
:Ternary_operation
dbr
:Unison_(software)
dbr
:Free_list
dbr
:Frenetic_(programming_language)
dbr
:Index_of_computing_articles
dbr
:Dependent_type
dbr
:Probabilistic_programming
dbr
:CodinGame
dbr
:Satisfiability_modulo_theories
dbr
:OSCAR_protocol
dbr
:List_of_functional_programming_topics
dbr
:Rope_(data_structure)
dbr
:WikiTrust
dbr
:Object_copying
dbr
:CAML
dbr
:Call-with-current-continuation
dbr
:Comma_operator
dbr
:Functional_reactive_programming
dbr
:List_of_model_checking_tools
dbr
:Multimap
dbr
:Generational_list_of_programming_languages
dbr
:Top_type
dbr
:Ousterhout's_dichotomy
dbr
:Outline_of_software_engineering
dbr
:Incremental_compiler
dbr
:Rational_data_type
dbr
:Semantics_encoding
dbr
:Three-way_comparison
dbr
:SPOJ
dbr
:Undefined_variable
dbr
:Comparison_of_web-based_genealogy_software
dbr
:Append
dbr
:Comparison_of_programming_languages_by_type_system
dbr
:Value_type_and_reference_type
dbr
:Applicative_functor
dbr
:Function_type
dbr
:Named_parameter
dbr
:List_of_programming_languages
dbr
:List_of_arbitrary-precision_arithmetic_software
dbr
:Comparison_of_functional_programming_languages
dbr
:JSON_Web_Token
dbr
:Session_type
dbr
:Strong_and_weak_typing
dbr
:CBOR
dbr
:Protocol_(object-oriented_programming)
dbr
:Logic_File_System
dbr
:Time_travel_debugging
dbr
:Persistent_array
dbr
:PaizaCloud_Cloud_IDE
dbr
:Zero_Install
dbr
:CDuce
dbr
:MetaOCaml
dbr
:Modulo_operation
dbr
:Linux_gaming
dbr
:O’Caml
dbr
:O`Caml
dbr
:O'Caml
dbr
:O'Caml_(programming_language)
dbr
:O'Caml_programming_language
dbr
:O'caml
dbr
:OCAML
dbr
:OCaml_(programming_language)
dbr
:OCaml_Package_Manager
dbr
:OCaml_programming_language
dbr
:Objective_CAML
dbr
:Objective_Caml
is
dbp:
dialects
of
dbr
:ML_(programming_language)
is
dbp:
family
of
dbr
:F_Sharp_(programming_language)
dbr
:Reason_(programming_language)
dbr
:JoCaml
dbr
:F*_(programming_language)
dbr
:ATS_(programming_language)
dbr
:Eff_(programming_language)
is
dbp:
influenced
of
dbr
:Modula-3
dbr
:Standard_ML
dbr
:Caml
is
dbp:
influencedBy
of
dbr
:F_Sharp_(programming_language)
dbr
:Hack_(programming_language)
dbr
:Haxe
dbr
:Opa_(programming_language)
dbr
:Scala_(programming_language)
dbr
:Elm_(programming_language)
dbr
:Boomerang_(programming_language)
dbr
:Reason_(programming_language)
dbr
:Flix_(programming_language)
dbr
:F*_(programming_language)
dbr
:StaDyn_(programming_language)
dbr
:ATS_(programming_language)
dbr
:Eff_(programming_language)
dbr
:Frenetic_(programming_language)
is
dbp:
knownFor
of
dbr
:Damien_Doligez
is
dbp:
programmingLanguage
of
dbr
:Apache_Thrift
dbr
:CryptoVerif
dbr
:Frama-C
dbr
:Alt-Ergo
dbr
:Haxe
dbr
:Rust_(programming_language)
dbr
:Coq_(software)
dbr
:Owl_Scientific_Computing
dbr
:ProVerif
dbr
:Jape_(software)
dbr
:ROX_Desktop
dbr
:BLAST_model_checker
dbr
:MTASC
dbr
:Matita
dbr
:Liquidsoap
dbr
:Jeroo
dbr
:NekoVM
dbr
:Astrée_(static_analysis)
dbr
:Marionnet
dbr
:Eff_(programming_language)
dbr
:GeneWeb
dbr
:Unison_(software)
dbr
:WikiTrust
is
dbp:
programmingLanguages
of
dbr
:Tezos
is
owl:
differentFrom
of
dbr
:Occam_(programming_language)
is
foaf:
primaryTopic
of
wikipedia-en
:OCaml
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International