Changes between Version 23 and Version 24 of Status/May11


Ignore:
Timestamp:
Apr 29, 2011 3:29:28 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May11

    v23 v24  
    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 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.
     93 * '''Ranjit Jhala''' at UC San Diego is working on implementing Liquid Types [[http://goto.ucsd.edu/~rjhala/liquid 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.
    9494
    9595
     
    127127 * [!ImprovingSupercompilation] "Improving supercompilation: tag-bags, rollback, speculation, normalisation, and generalisation", Bolingbroke and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/supercompilation/
    128128
     129 * [Liquid] Liquid types, Ranjit Jhala, http://goto.ucsd.edu/~rjhala/liquid Liquid
     130
    129131 * [NewFC] "Practical aspects of evidence-based compilation in System FC", Vytiniotis and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/ext-f/
    130132