Changes between Version 3 and Version 4 of ReadingList


Ignore:
Timestamp:
Dec 14, 2012 2:28:25 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ReadingList

    v3 v4  
    88 
    99 * 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 * [http://www.aosabook.org/en/ghc.html The Glasgow Haskell Compiler], in [http://www.aosabook.org/en/index.html The Architecture of Open Source Applications], Volume II, ed Brown & Wilson. This paper gives an up to date (2012) technical overview of GHC. 
    1012 
    1113 * 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. 
     
    1921 
    2022 * [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 * [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ Papers about type equalities in GHC's intermediate language] 
     25   * ''Equality proofs and deferred type errors'', Simon Peyton Jones, Dimitrios Vytiniotis and Pedro Magalhaes (ICFP 2012).  An exploration of what happens when you take equality proofs seriously in a compiler. 
     26   * ''Giving Haskell a promotion'', Brent Yorgey, Stepanie Weirich, Julien Cretin, Simon Peyton Jones, and Dimitrios Vytiniotis (TLDI 2012).  How to (a) add kind polymorphism and (b) promote data types to become data kinds. 
     27   * ''System F with Type Equality Coercions'', Martin Sulzmann, Manuel Chakravarty, and Simon Peyton Jones (TLDI 2007).  The first paper about System FC. 
    2128 
    2229 * [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.