Category:Dependently typed languages
![]() | Computing 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.
Pages in category "Dependently typed languages"
The following 15 pages are in this category, out of 15 total.
A
- Agda (programming language) (computing)
- ALF (proof assistant) (computing)
- ATS (programming language) (computing)
C
- Cayenne (programming language) (computing)
- Coq (software)
D
- Dependent ML (computing)
E
- Epigram (programming language) (computing)
F
- F* (programming language) (computing)
I
- Idris (programming language) (computing)
L
- Lean (proof assistant) (software)
- LEGO (proof assistant) (computing)
M
- Matita (software)
- Mizar system (computing)
P
- Prototype Verification System (computing)
T
- Twelf (computing)