Changes between Version 46 and Version 47 of MoreDepth

Show
Ignore:
Timestamp:
09/14/06 22:00:27 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MoreDepth

    v46 v47  
    1616 
    1717 * Details of the GHC-as-a-library API, and how to use it. -- Norman Ramsey, Andy Gill, Geoff Washburn, Jeffery Zhang, Kathleen Fisher, Ravi Nanavati 
    18  ** Related: compiling multiple modules: `--make` and all that 
     18   * Related: compiling multiple modules: `--make` and all that 
    1919 
    2020 * More details about vectored returns 
    … …  
    4747 * A breakdown of the size of the various parts of the run-time system 
    4848 * Maybe something about the mathematical underpinnings of Haskell and GHC (though I get the feeling I'm the only one lacking a graduate math degree :-) ) 
     49   * Perhaps a start would be a resource page on HaskellTypeTheory -- links to type theory courses around the world, survey articles, etc. But aside from type theory though, what else do you mean by "math underpinnings"?