Category:Dependently typed languages

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

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