Category:Dependently typed languages

From HandWiki

Jump to: navigation, search

Here is a list of articles in the category Dependently typed languages .

Pages in category "Dependently typed languages"

The following 13 pages are in this category, out of 13 total.

A

C

Cayenne (programming language)

D

Dependent ML

E

Epigram (programming language)

F

F* (programming language)

I

Idris (programming language)

L

LEGO (proof assistant)

M

P

Prototype Verification System

T

Twelf

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Dependently_typed_languages&oldid=1591804"