Premodifier: type functional programmingHead noun: language
| Same concepts |
|---|
Broader concepts
| label | provenance | confidence |
|---|
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| agda | isap:460211312 | 0.414712 |
| ml | isap:141525358 | 0.396130 |
| haskell | isap:49542797 | 0.379236 |
| ocaml | isap:297950256 | 0.244758 |