Changes between Version 7 and Version 8 of ImpredicativePolymorphism/Impredicative-2015


Ignore:
Timestamp:
Jul 17, 2015 12:59:45 PM (4 years ago)
Author:
AlejandroSerrano
Comment:

Change name of attached file

Legend:

Unmodified
Added
Removed
Modified
  • ImpredicativePolymorphism/Impredicative-2015

    v7 v8  
    55This is the result of discussion between Alejandro Serrano Mena <A.SerranoMena@uu.nl>, Jurriaan Hage, Dimitrios Vytiniotis, and Simon PJ.
    66
    7 '''The most up-to-date description is available here: [attachment:the-doc.pdf Impredicativity in GHC (PDF)]'''
     7'''The most up-to-date description is available here: [attachment:impredicativity.pdf Impredicativity in GHC (PDF)]'''
    88
    99The rest of the document is kept for historical purposes, and because it contains useful information about how the design is implemented inside GHC.