Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:compiledBy |
CakeML compiler
|
| gptkbp:designedFor |
formal verification
|
| gptkbp:developedBy |
gptkb:CakeML_project_team
|
| gptkbp:documentation |
https://cakeml.org/docs.html
|
| gptkbp:hasFeature |
modules
type inference first-class functions algebraic data types pattern matching exceptions strong static typing |
| gptkbp:hasInterpreter |
CakeML interpreter
|
| https://www.w3.org/2000/01/rdf-schema#label |
CakeML
|
| gptkbp:implementedIn |
gptkb:Standard_ML
|
| gptkbp:influencedBy |
gptkb:Standard_ML
ML |
| gptkbp:license |
gptkb:BSD_license
|
| gptkbp:notableFor |
machine-checked compiler correctness proof
|
| gptkbp:openSource |
true
|
| gptkbp:paradigm |
functional programming
|
| gptkbp:repository |
https://github.com/CakeML/cakeml
|
| gptkbp:usedIn |
formal methods research
verified software systems |
| gptkbp:website |
https://cakeml.org/
|
| gptkbp:bfsParent |
gptkb:HOL_Light
|
| gptkbp:bfsLayer |
6
|