Changes between Version 32 and Version 33 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 6:47:15 PM (4 years ago)
Author:
jhala
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v32 v33  
    104104=== Liquid types ===
    105105
    106 We are working on adding liquid types: a form of (dependent) refinement types that use SMT
    107 solvers to carry out type inference. A prototype has been built that works for a subset of the
    108 language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid]]. Currently, we are working
    109 on ways of handling at the basic typeclasses (Ord, Num etc.), and building a web-interface.
     106We are working on adding liquid types to GHC. Liquid Types are a form of (dependent) refinement
     107types that use predicate abstraction and SMT solvers to carry out type inference. A prototype has
     108been built that works for a subset of the language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid]].
     109Currently, we are working on ways of handling at the basic typeclasses (Ord, Num etc.), and building
     110a web-interface.
    110111
    111112=== Parallel project ===