Category:Dependently typed languages

From HandWiki

Handwiki book24.pngComputing portal

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.