Changes between Version 10 and Version 11 of Status/Oct12

Timestamp:

10/31/12 03:38:31 (7 months ago)

Author:

dreixel

Comment:

--

Status/Oct12

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