Category:Dependently typed languages

This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.

Category:Dependently typed programming

Category:Programming languages

Category:Specification languages

Category:Formal languages

Category:Statically typed programming languages