Changes between Version 119 and Version 120 of WikiStart


Ignore:
Timestamp:
Nov 29, 2010, 4:51:36 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v119 v120  
    8585 * [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).
    8686 * [http://research.microsoft.com/en-us/um/people/daan/download/papers/effects-techreport-2010.pdf Type Inference with Natural Subtyping]. //Tate, Leijen//, 2010.
     87 * [http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninLiAliErnstSPLASH2010.pdf Ownership and Immutability in Generic Java]. //Zibin, Potanin, Li et al//, 2010.
    8788 * [http://dpj.cs.uiuc.edu/DPJ/Publications_files/DPJizer-ASE-2009.pdf Inferring Method Effect Summaries for Nested Heap Regions]. //Vakilian, Dig, Bocchino et al//, 2009.
    8889 * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.42 A Type and Effect System for Deterministic Parallel Java]. //Bocchino, Adve, Dig et al//, 2009.