Changes between Version 10 and Version 11 of Status/Oct12


Ignore:
Timestamp:
Oct 31, 2012 10:38:31 AM (18 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct12

    v10 v11  
    1313 of GHC 7.6. It's 
    1414 described in "Giving Haskell a promotion" [7], and has already 
    15  been used in interesting ways ("The right kind of generic 
    16  programming" [8], "Dependently Typed Programming with Singletons" [9]).  Leading up to the GHC 7.6 release 
     15 been used in interesting ways ("The Right Kind of Generic 
     16 Programming" [8], "Dependently Typed Programming with Singletons" [9]).  Leading up to the GHC 7.6 release 
    1717 Simon PJ has been working hard on making kind polymorphism work 
    1818 properly, which was a lot more work than he anticipated.  
     
    4343[6] Equality proofs and deferred type errors, Dimitrios Vytiniotis et al, ICFP'12, [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/] [[BR]] 
    4444[7] Givng Haskell a promotion, Brent Yorgey et al, TLDI'12 [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/] [[BR]] 
    45 [8] The right kind of generic programming, Pedro Magalhaes, WGP'13 [http://dreixel.net/index.php?content=research] [[BR]] 
     45[8] The Right Kind of Generic Programming, José Pedro Magalhães, WGP'12 [http://dreixel.net/research/pdf/trkgp.pdf] [[BR]] 
    4646[9] Dependently typed programming with singletons, Richard Eisenberge et al, HS'12 [http://www.cis.upenn.edu/~eir/pubs.html]  [[BR]] 
    4747[10] Holes in GHC:  [http://hackage.haskell.org/trac/ghc/wiki/Holes]