Category:Type-level programming

From HaskellWiki

Revision as of 19:03, 30 June 2007 by Marcel Manthe (talk | contribs)

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

Jump to navigation Jump to search

Type-level programming involves calculations that are done during compilation time while type-inferring/type-checking.

Pages in category "Type-level programming"

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

C

D

Dependent type

G

GHC/Type families

M

Monadic regions

P

Physical units/Dimensionalized numbers

R

Research papers/Type systems

T

Retrieved from "https://wiki.haskell.org/index.php?title=Category:Type-level_programming&oldid=13899"