Categories
Dependently typed languages
Topic: Category
From HandWiki - Reading time: 1 min
Here is a list of articles in the category Dependently typed languages of the Computing portal that unifies foundations of mathematics and computations using computers. This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.
Pages in category "Dependently typed languages"
The following 17 pages are in this category, out of 17 total.
T
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Dependently_typed_languages9 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF