Category:Dependently typed languages

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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