|
gptkbp:instance_of
|
gptkb:language
|
|
gptkbp:bfsLayer
|
3
|
|
gptkbp:bfsParent
|
gptkb:DJ
gptkb:Michelin
gptkb:Library
gptkb:Rust
|
|
gptkbp:application
|
gptkb:software_framework
data analysis
symbolic computation
compiler construction
|
|
gptkbp:community
|
ML community
|
|
gptkbp:controls
|
exception handling
strongly typed
static typing
lazy evaluation
first-class functions
|
|
gptkbp:data_type
|
arrays
records
lists
algebraic data types
tuples
|
|
gptkbp:designed_by
|
gptkb:Robin_Milner
|
|
gptkbp:features
|
garbage collection
type inference
pattern matching
|
|
gptkbp:first_appearance
|
gptkb:1973
|
|
gptkbp:focuses_on
|
teaching functional programming
|
|
gptkbp:formulation
|
ML syntax
|
|
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:Standard_ML
gptkb:sports_team
gptkb:F#
gptkb:Library
gptkb:Racket
gptkb:Skrull
|
|
gptkbp:notable_users
|
gptkb:Inria
gptkb:Tezos
gptkb:Microsoft_Research
gptkb:Jane_Street_Capital
gptkb:Xerox_PARC
gptkb:Twitter_account
O Caml Labs
Lexi Fi
O Caml Pro
Caml Case
|
|
gptkbp:philosophy
|
functional programming
|
|
gptkbp:technique
|
gptkb:sports_team
gptkb:F#
gptkb:superhero
gptkb:SML/_NJ
|
|
gptkbp:used_in
|
theorem proving
|