Changes between Version 7 and Version 8 of ImpredicativePolymorphism


Ignore:
Timestamp:
Apr 24, 2017 8:22:38 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ImpredicativePolymorphism

    v7 v8  
    9696  * [http://gallium.inria.fr/~remy/publications.html  MLF: Raising ML to the power of System F (2003)] The other end of the spectrum from QML: a very sophisticated approach.
    9797
    98 === Tickets ===
    99 
    100 There are lots of tickets in GHC's Trac that boil down to impredicativity.  Here is a non-exhaustive list (please add to it):
    101  * #4295
    102  * #8808
    103 
    10498=== The way forward ===
    10599