Changes between Version 3 and Version 4 of ReadingList
- Dec 14, 2012 2:28:25 PM (2 years ago)
v3 v4 8 8 9 9 * The [wiki:Commentary GHC Commentary] is a Wiki that describes GHC's implementation. It is a Wiki. That means that you can, and should, fix errors and write new chapters. 10 11 10 12 11 13 * Simon PJ's [http://research.microsoft.com/~simonpj home page] and [http://research.microsoft.com/en-us/um/people/simonpj/papers/papers.html publications page] have lots of relevant papers. Some key ones appear below but not all. … … 19 21 20 22 * [http://haskell.org/haskellwiki/Simonpj/Talk:OutsideIn Modular type inference with local assumptions], Simon Peyton Jones, Dimitrios Vytiniotis, Tom Schrijvers, Martin Suzmann, Journal of Functional Programming, 2011. This epic 83-page JFP paper brings together, in a single uniform framework, a series of our earlier papers on type inference for type systems involving local constraints, including GADTs and indexed type families. 23 24 25 26 27 21 28 22 29 * [http://research.microsoft.com/en-us/um/people/simonpj/papers/unboxed-values.ps.Z Unboxed values as first class citizens], SL Peyton Jones and J Launchbury, Functional Programming Languages and Computer Architecture (FPCA'91), Boston, LNCS 523, Springer Verlag, Sept 1991, pp636-666. How unboxed data types work in GHC.