|
gptkbp:instance_of
|
gptkb:C_programming_language
|
|
gptkbp:application
|
gptkb:machine_learning
data analysis
symbolic computation
compiler construction
|
|
gptkbp:community
|
ML community
|
|
gptkbp:control_system
|
exception handling
lazy evaluation
first-class functions
|
|
gptkbp:data_type
|
arrays
records
lists
algebraic data types
tuples
|
|
gptkbp:designed_by
|
gptkb:Robin_Milner
|
|
gptkbp:educational_use
|
teaching functional programming
|
|
gptkbp:features
|
garbage collection
type inference
pattern matching
|
|
gptkbp:first_appearance
|
gptkb:1973
|
|
gptkbp:formulation
|
ML syntax
|
|
gptkbp:has_dialects
|
gptkb:OCaml
gptkb:Standard_ML
gptkb:F#
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
ML
|
|
gptkbp:influenced_by
|
gptkb:LISP
|
|
gptkbp:is_standardized_by
|
gptkb:ISO/_IEC_13817
|
|
gptkbp:language
|
gptkb:Haskell
gptkb:Racket
gptkb:Scala
|
|
gptkbp:notable_technique
|
gptkb:OCaml
gptkb:F#
gptkb:Jonin
gptkb:SML/_NJ
|
|
gptkbp:notable_users
|
gptkb:Inria
gptkb:Tezos
gptkb:OCaml_Labs
gptkb:Microsoft_Research
gptkb:Jane_Street_Capital
gptkb:Xerox_PARC
gptkb:Facebook
Lexi Fi
Caml Case
OCaml Pro
|
|
gptkbp:paradigm
|
functional programming
|
|
gptkbp:system
|
strongly typed
static typing
|
|
gptkbp:used_in
|
theorem proving
|
|
gptkbp:bfsParent
|
gptkb:Michelin
gptkb:F#
gptkb:Rust
|
|
gptkbp:bfsLayer
|
4
|