Category:Type-level programming

Categories: Idioms

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

Articles in category "Type-level programming"

There are 9 articles in this category.

D Dependent type Dimensionalized numbers G GHC/Type families

M Monadic regions R Research papers/Type systems T Type SK Type arithmetic

T cont. Type functions U User:ConradParker/InstantInsanity

Recent content is available under a simple permissive license.