Changes between Version 22 and Version 23 of Status/May11


Ignore:
Timestamp:
Apr 29, 2011 3:08:53 PM (4 years ago)
Author:
jhala
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May11

    v22 v23  
    9191 * ''David Mazieres at Stanford wants to implement '''Safe Haskell''', a flag for GHC that will guarantee that your program does not use `unsafePerformIO`, foreign calls, RULES, and other stuff stuff.'' 
    9292 
    93  * '''Ranjit: would you like to add a para?''' 
     93 * '''Ranjit Jhala''' at UC San Diego is working on implementing Liquid Types [[http://goto.ucsd.edu/~rjhala/liquid]] within GHC. The goal is to allow programmers to use lightweight refinement types to specify key invariants which can then be verified through a combination of type inference and SMT solving. 
     94 
     95 
    9496 
    9597== The Parallel GHC Project ==