Changes between Version 32 and Version 33 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 6:47:15 PM (2 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 ===