Changes between Version 33 and Version 34 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 8:23:41 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v33 v34  
    104104=== Liquid types === 
    105105 
    106 We are working on adding liquid types to GHC. Liquid Types are a form of (dependent) refinement 
    107 types that use predicate abstraction and SMT solvers to carry out type inference. A prototype has  
    108 been built that works for a subset of the language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid]].  
     106Ranjit Jhala is working on adding liquid types to GHC. Liquid Types are a form of (dependent) refinement types that use predicate abstraction and SMT solvers to carry out type inference. A prototype has been built that works for a subset of the language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid Liquid]].  
    109107Currently, we are working on ways of handling at the basic typeclasses (Ord, Num etc.), and building  
    110108a web-interface. 
     
    129127== Bibliography == 
    130128 
    131  * [!CloudHaskell] ''Towards Haskell in the Cloud'', Jeff Epstein, Andrew P. Black, and Simon Peyton Jones, Haskell Symposium 2011, http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf 
     129 * [!CloudHaskell] ''Towards Haskell in the Cloud'', Jeff Epstein, Andrew P. Black, and Simon Peyton Jones, Haskell Symposium 2011, http://research.microsoft.com/~simonpj/papers/parallel/remote.pdf 
    132130 
    133131 * [!ConstraintFamilies] ''Constraint families'', Max Bolingbroke blog post, http://blog.omega-prime.co.uk/?p=61 
     
    135133 * [!ConstraintKind] "Constraint kinds for GHC", Max Bolingbroke blog post, http://blog.omega-prime.co.uk/?p=127 
    136134 
    137  * [!WikiConstraint] ''Adding kind Constraint'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/KindFact 
    138  
    139  * [Unleashed] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html 
    140  
    141135 * [!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/ 
    142136  
    143  * [Cloud] ''Haskell for the cloud'', Epstein, Black, Peyton Jones, ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/ 
     137 * [Liquid] ''Liquid types home page'', Ranjit Jhala, http://goto.ucsd.edu/~rjhala/liquid 
    144138 
    145139 * [!MonadComp] ''Bringing back monad comprehensions'', George Giorgidze, Torsten Grust, Nils Schweinsberg, and Jeroen Weijers, Haskell Symposium 2011, http://db.inf.uni-tuebingen.de/files/giorgidze/haskell2011.pdf 
     
    155149 * [SHE] ''The Strathclyde Haskell Enhancement'', Conor !McBride, 2010, http://personal.cis.strath.ac.uk/~conor/pub/she/ 
    156150 
     151 * [Unleashed] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html 
     152 
    157153 * [!VectorInstructions] ''Using SIMD instructions via the LLVM back end'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm 
     154 
     155 * [!WikiConstraint] ''Adding kind Constraint'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/KindFact 
     156 
     157