Jump to content

Category:Dependently typed programming

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Ruud Koot (talk | contribs) at 13:26, 21 September 2011 (swap parent/child cat). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Subcategories

This category has the following 2 subcategories, out of 2 total.

D

Dependently typed languages (15 P)

P

Proof assistants (28 P)

Pages in category "Dependently typed programming"

The following 13 pages are in this category, out of 13 total. This list may not reflect recent changes.

B

Brouwer–Heyting–Kolmogorov interpretation

C

F

Futhark (programming language)

G

Generalized algebraic data type

H

Higher-order abstract syntax

I

L

Logical framework

P

Proof-carrying code

T

Type variable

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Dependently_typed_programming&oldid=451672519"