dependently typed programming language
type of programming language
| rdfs:label |
"dependently typed programming language"@en
|
| schema:description | "type of programming language"@en |
|
schema:date |
"2026-08-28T14:26:07+00:00"^^xsd:dateTime |
| schema:version | 2537418737 |
| wikibase:identifiers | 0 |
| wikibase:sitelinks | 0 |
| wikibase:statements | 3 |
| p:P279 | wd:statement/Q56223375-4ab2336a-40d6-a8ea-11d1-55a52b772539 |
| p:P7078 | wd:statement/Q56223375-EB777C76-367A-4048-B1EC-AB4EAF94B8A4 |
| p:P910 | wd:statement/Q56223375-f84ace2f-4317-3a24-c89d-542433db9317 |
| wdt:P279 | programming language |
| wdt:P7078 | dependent typing |
| wdt:P910 | Category:Dependently typed languages |
Download as: