Changes between Version 12 and Version 13 of Status/Oct11


Ignore:
Timestamp:
Oct 27, 2011 10:31:18 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v12 v13  
    114114 * Work on adding contracts to Hsakell, along the lines of Dana Xu's these, but using a first order logic theorem prover to check contract satisfaction (with Koen Claessen, Dimitrios Vytiniotis, Charles-Pierre Astolfi, and Nathan Collins). 
    115115 * Extending the code generator to exploid vector instructions (with Peter Braam, Paul Monday, Duncan Coutts).  
    116  
     116 * A modular package language for Haskell (with Derek Dreyer and Scott Kilpatrick) [[http://hackage.haskell.org/trac/ghc/wiki/PackageLanguage Packages]]. 
    117117 
    118118== Bibliography == 
     
    134134 * [!NewFC] ''Practical aspects of evidence-based compilation in System FC'', Vytiniotis and Peyton Jones, rejected by to ICFP 2011, http://research.microsoft.com/~simonpj/papers/ext-f/ 
    135135 
     136 * [Packages] ''A package language for Haskell'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/PackageLanguage 
     137 
    136138 * [!ParallelGhcProject] ''The Parallel GHC Project home page'', http://www.haskell.org/haskellwiki/Parallel_GHC_Project 
    137139