New posts in higher-kinded-types

Functions don't just have types: They ARE Types. And Kinds. And Sorts. Help put a blown mind back together

haskell types ghc type-systems higher-kinded-types

Higher-kinded generics in Java

java generics haskell polymorphism higher-kinded-types

Using context bounds "negatively" to ensure type class instance is absent from scope

scala typeclass implicit scalaz higher-kinded-types

values, types, kinds,... as an infinite sequence?

scala haskell functional-programming higher-kinded-types

Higher-kinded Types with C++

c++ templates haskell higher-kinded-types

Specifying a concept for a type that has a member function template using Concepts Lite

c++ higher-kinded-types c++-concepts

When are higher kinded types useful?

scala haskell types f# higher-kinded-types

Can I use nested generics (aka higher kinded types) in Java?

java generics higher-kinded-types

How to implement fixed points of functors in Java

java functor higher-kinded-types catamorphism fixed-point-iteration

What is a higher kinded type in Scala?

scala generics types higher-kinded-types type-constructor