Changes between Version 2 and Version 3 of GhcKinds


Ignore:
Timestamp:
Aug 3, 2011 10:22:18 AM (4 years ago)
Author:
ia0
Comment:

changing links

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v2 v3  
    77We use the mechanism of promotion to lift a data type to the kind level.  This gives access at the type level to the data constructors, and at the kind level to the type constructor.  All data types cannot be promoted.  For examples GADTs or data types with higher-order kinds.  We add kind polymorphism to allow promotion of polymorphic data constructors (like {{{Nil}}} or {{{Cons}}}). 
    88 
    9 More details can be found on the [attachment:fc-sep.pdf attached pdf]. 
     9More details can be found in [http://gallium.inria.fr/~jcretin/ghc/theory.pdf this theory pdf]. 
    1010 
    1111== Examples == 
    1212 
    13 Examples of reimplementation of existing Haskell librairies can be found in the [attachment:examples.pdf examples pdf]. 
     13Examples of reimplementation of existing Haskell librairies can be found in [http://gallium.inria.fr/~jcretin/ghc/examples.pdf this examples pdf]. 
    1414 
    1515== Implementation ==