Disambiguation evidence for OCaml via surface form

"OCaml"

Triples (43)

Triples where some other subject referred to this entity as "OCaml".

Elm → influencedBy →
"OCaml"
↳ resolves to OCaml
ⓘ
ReasonML → basedOn →
"OCaml"
↳ resolves to OCaml
ⓘ
ReasonML → hostLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
ReasonML → relatedTo →
"OCaml"
↳ resolves to OCaml
ⓘ
lambda calculus → influenced →
"OCaml"
↳ resolves to OCaml
ⓘ
F# → influencedBy →
"OCaml"
↳ resolves to OCaml
ⓘ
Nikolaj Bjørner → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
Scala → influencedBy →
"OCaml"
↳ resolves to OCaml
ⓘ
ML → influenced →
"OCaml"
↳ resolves to OCaml
ⓘ
ML → hasSuccessor →
"OCaml"
↳ resolves to OCaml
ⓘ
BuckleScript → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
BuckleScript → supportsLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
BuckleScript → writtenIn →
"OCaml"
↳ resolves to OCaml
ⓘ
bs-platform → supportsLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
bs-platform → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
bs-platform → relatedProject →
"OCaml"
↳ resolves to OCaml
ⓘ
ReasonReact → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
ReasonReact → relatedTo →
"OCaml"
↳ resolves to OCaml
ⓘ
Jordan Walke → usedProgrammingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
Standard ML → influenced →
"OCaml"
↳ resolves to OCaml
ⓘ
Hindley–Milner type system → usedIn →
"OCaml"
↳ resolves to OCaml
ⓘ
Don Syme → influencedBy →
"OCaml"
↳ resolves to OCaml
ⓘ
Coq → canExtractTo →
"OCaml"
↳ resolves to OCaml
ⓘ
Coq → writtenIn →
"OCaml"
↳ resolves to OCaml
ⓘ
Apache Thrift → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
Abella → writtenIn →
"OCaml"
↳ resolves to OCaml
ⓘ
ML language family → hasMember →
"OCaml"
↳ resolves to OCaml
ⓘ
js_of_ocaml → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
opam → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
opam → writtenIn →
"OCaml"
↳ resolves to OCaml
ⓘ
ocamlc → inputLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
ocamlc → implementedIn →
"OCaml"
↳ resolves to OCaml
ⓘ
utop → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
utop → writtenIn →
"OCaml"
↳ resolves to OCaml
ⓘ
Hongbo Zhang → programmingLanguageWorkedOn →
"OCaml"
↳ resolves to OCaml
ⓘ
BuckleScript → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
linked to: Hongbo Zhang
ocamlopt → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
ocamlopt → writtenIn →
"OCaml"
↳ resolves to OCaml
ⓘ
hh_client → programmingLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
Cairo → hasLanguageBinding →
"OCaml"
↳ resolves to OCaml
ⓘ
HM type system → usedIn →
"OCaml"
↳ resolves to OCaml
ⓘ
HOL Light → implementationLanguage →
"OCaml"
↳ resolves to OCaml
ⓘ
Isabelle → supportsCodeGenerationTo →
"OCaml"
↳ resolves to OCaml
ⓘ