• Exploring universe polymorphism in Omega 

    Brown, Jonathon Daniel (2011-08-30)
    Ωmega extends Haskell with novel features for practical functional programming: GADT's, extensible kinds, and type functions. With both extensible types and extensible kinds in place, there is a tendency for redundant ...