... | ... | @@ -68,8 +68,8 @@ As always there is far more to do than we can handle, and there is loads of spac |
|
|
\[7\] Givng Haskell a promotion, Brent Yorgey et al, TLDI'12 [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/](http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/)
|
|
|
\[8\] The Right Kind of Generic Programming, José Pedro Magalhães, WGP'12 [http://dreixel.net/research/pdf/trkgp.pdf](http://dreixel.net/research/pdf/trkgp.pdf)
|
|
|
\[9\] Dependently typed programming with singletons, Richard Eisenberg et al, HS'12 [http://www.cis.upenn.edu/\~eir/pubs.html](http://www.cis.upenn.edu/~eir/pubs.html)
|
|
|
\[10\] Holes in GHC: [http://hackage.haskell.org/trac/ghc/wiki/Holes](http://hackage.haskell.org/trac/ghc/wiki/Holes)
|
|
|
\[11\] Overlapping type family instances: [http://hackage.haskell.org/trac/ghc/wiki/NewAxioms](http://hackage.haskell.org/trac/ghc/wiki/NewAxioms)
|
|
|
\[12\] Matching on type nats: [http://hackage.haskell.org/trac/ghc/wiki/TypeNats/MatchingOnNats](http://hackage.haskell.org/trac/ghc/wiki/TypeNats/MatchingOnNats)
|
|
|
\[13\] Singletons and kinds: [http://hackage.haskell.org/trac/ghc/wiki/TypeNats/SingletonsAndKinds](http://hackage.haskell.org/trac/ghc/wiki/TypeNats/SingletonsAndKinds)
|
|
|
\[10\] Holes in GHC: [https://gitlab.haskell.org/trac/ghc/wiki/Holes](https://gitlab.haskell.org/trac/ghc/wiki/Holes)
|
|
|
\[11\] Overlapping type family instances: [https://gitlab.haskell.org/trac/ghc/wiki/NewAxioms](https://gitlab.haskell.org/trac/ghc/wiki/NewAxioms)
|
|
|
\[12\] Matching on type nats: [https://gitlab.haskell.org/trac/ghc/wiki/TypeNats/MatchingOnNats](https://gitlab.haskell.org/trac/ghc/wiki/TypeNats/MatchingOnNats)
|
|
|
\[13\] Singletons and kinds: [https://gitlab.haskell.org/trac/ghc/wiki/TypeNats/SingletonsAndKinds](https://gitlab.haskell.org/trac/ghc/wiki/TypeNats/SingletonsAndKinds)
|
|
|
\[14\] The new codegen is nearly ready to go live [http://hackage.haskell.org/trac/ghc/blog/newcg-update](http://hackage.haskell.org/trac/ghc/blog/newcg-update) |
|
|
\ No newline at end of file |