Changes between Version 33 and Version 34 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 8:23:41 PM (4 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