Changes between Version 125 and Version 126 of WikiStart


Ignore:
Timestamp:
Nov 29, 2010, 6:02:06 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v125 v126  
    8484
    8585==== Recent Papers ====
    86 If you know of other recent work on effects, region typing, controlling mutability, or capability calculi then please add it here:[[br]]
     86If you know of other recent work on effects, region typing, controlling mutability, or capability calculi then please add it here. We are particularly interested in systems that can express the noninterference of parallel threads in their type systems, while not requiring all data to be constant (as in Haskell), and not adding intermediate messaging protocols (as in Erlang or with STM).
     87
     88[[br]]
    8789
    8890 * [http://research.microsoft.com/en-us/um/people/daan/download/papers/effects-semantics-2010.pdf A Flexible Semantic Framework for Effects]. //Tate, Leijen, Lerner//, 2011 (submitted).