Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:academicPaper |
https://arxiv.org/abs/1606.08413
|
| gptkbp:creator |
gptkb:Michael_Arntzenius
|
| gptkbp:designedFor |
static analysis
|
| gptkbp:firstAppearance |
2016
|
| gptkbp:hasFeature |
static typing
higher-order functions lattice types monotonicity typing set comprehensions |
| https://www.w3.org/2000/01/rdf-schema#label |
Datafun
|
| gptkbp:influencedBy |
gptkb:Haskell
gptkb:Datalog |
| gptkbp:paradigm |
functional programming
|
| gptkbp:supports |
fixed points
incremental computation |
| gptkbp:website |
https://datafun-lang.org/
|
| gptkbp:bfsParent |
gptkb:Datalog
|
| gptkbp:bfsLayer |
6
|