Changes between Version 11 and Version 12 of Status/Oct11


Ignore:
Timestamp:
Oct 27, 2011 10:26:45 PM (4 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/