Category:Dependently typed programming

From HandWiki

Jump to: navigation, search

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

Pages in category "Dependently typed programming"

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

B

Brouwer–Heyting–Kolmogorov interpretation

C

G

Generalized algebraic data type

H

Higher-order abstract syntax

I

L

Logical framework

P

Proof-carrying code

T

Type variable

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