(Q56232424)

English

dependent typing

typing discipline for programming languages

dependent types
dependently typed

In more languages

Statements

computer science term

0 references

computer programming

0 references

0 references

0 references

Identifiers

dependent type theory

0 references

dependent_types

language of work or name

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q56232424&oldid=1976901604"