Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:designed_by |
gptkb:Robert_W._Floyd
|
| gptkbp:developed_by |
gptkb:Stanford_University
gptkb:University_of_California,_Berkeley |
| gptkbp:first_appearance |
1970s
|
| gptkbp:has_community |
academic community
programming language researchers |
| gptkbp:has_documentation |
Cora language reference manual
Cora programming guide |
| gptkbp:has_feature |
gptkb:Cora_compiler
gptkb:Cora_interpreter |
| gptkbp:has_features |
recursion
pattern matching first-class functions immutable data structures |
| gptkbp:has_function |
gptkb:ML
gptkb:Lisp |
| gptkbp:has_variants |
gptkb:Cora-2
Cora-3 |
| https://www.w3.org/2000/01/rdf-schema#label |
Cora language
|
| gptkbp:influenced_by |
gptkb:ML
gptkb:Lisp |
| gptkbp:is_notable_for |
its historical significance
its simplicity its expressiveness its influence on later languages its educational use its strong type system its contributions to functional programming its role in programming language research |
| gptkbp:is_part_of |
functional programming languages family
|
| gptkbp:is_related_to |
gptkb:political_theory
lambda calculus |
| gptkbp:is_used_for |
teaching programming concepts
research in programming languages |
| gptkbp:is_used_in |
theoretical computer science
compiler construction programming language design |
| gptkbp:paradigm |
functional programming
|
| gptkbp:related_to |
programming language theory
|
| gptkbp:supports |
higher-order functions
type inference lazy evaluation |
| gptkbp:type |
statically typed
|
| gptkbp:used_in |
gptkb:academic_research
|
| gptkbp:year |
gptkb:true
|
| gptkbp:bfsParent |
gptkb:Uto-Aztecan_languages
|
| gptkbp:bfsLayer |
6
|