Changes between Version 29 and Version 30 of Status/Oct11


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v29 v30  
    107107type inference. A prototype has been built that works for a subset of the language (without typeclasses). 
    108108Some examples include tracking invariants of  
    109 a lambda-calculus evaluator [[http://goto.ucsd.edu/~rjhala/HsAnnot/mapreduce.hs.html]],  
    110 a toy "map-reduce" [[http://goto.ucsd.edu/~rjhala/HsAnnot/mapreduce.hs.html]] and  
    111 the obligatory list-length examples [[http://goto.ucsd.edu/~rjhala/HsAnnot/meas5.hs.html]] 
     109a lambda-calculus evaluator [[http://goto.ucsd.edu/~rjhala/Liquid/lambdaEval.hs.html]],  
     110a toy "map-reduce" [[http://goto.ucsd.edu/~rjhala/Liquid/mapreduce.hs.html]] and  
     111the obligatory list-length examples [[http://goto.ucsd.edu/~rjhala/Liquid/meas5.hs.html]] 
    112112Currently, we are working on restricted ways of handling at the basic typeclasses (Ord, Num etc.), 
    113 and also building a web-interface to the tool. 
     113and building a web-interface. 
    114114 
    115115=== Parallel project ===