Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in data-kinds

Motivation for limitation on data kind promotion

haskell ghc data-kinds

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

haskell lambda-calculus algebraic-data-types gadt data-kinds

Haskell pattern matching on GADTs with Data Kinds

haskell pattern-matching gadt data-kinds

Kind Demotion (as opposed to Kind Promotion)

haskell higher-kinded-types data-kinds

Can I provide the type-checker with proofs about inductive naturals in GHC 7.6?

haskell ghc data-kinds

What are all the mechanisms used to enable Servant's type-based API?

haskell types data-kinds

What is the DataKinds extension of Haskell?

haskell types algebraic-data-types data-kinds
« Newer Entries