Changes between Version 11 and Version 12 of Status/Oct11


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v11 v12  
    109109'''Manuel''' 
    110110 
     111== The glorious future == 
    111112 
    112  
     113Also on the go, but not yet fully baked, are: 
     114 * 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). 
     115 * Extending the code generator to exploid vector instructions (with Peter Braam, Paul Monday, Duncan Coutts).  
    113116 
    114117 
     
    123126 * [Unleashed] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html 
    124127 
    125  * [!KindPolymorphism] "Giving Hasell a promotion", Brent Yorgey, Stephanie Weirich, Julien Cretin, Dimitrios Vytiniotis, and SimonPeyton Jones, submitted to TLDI'12, http://research.microsoft.com/~simonpj/papers/ext-f/ 
     128 * [!KindPolymorphism] ''Giving Hasell a promotion'', Brent Yorgey, Stephanie Weirich, Julien Cretin, Dimitrios Vytiniotis, and Simon Peyton Jones, submitted to TLDI'12, http://research.microsoft.com/~simonpj/papers/ext-f/ 
    126129  
    127130 * [Cloud] ''Haskell for the cloud'', Epstein, Black, Peyton Jones, ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/