Changes between Version 17 and Version 18 of Related


Ignore:
Timestamp:
Jun 27, 2013, 6:23:31 AM (6 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Related

    v17 v18  
    4444 * [http://research.microsoft.com/en-us/um/people/daan/download/papers/effects-techreport-2010.pdf Type Inference with Natural Subtyping]. //Tate, Leijen//, 2010.
    4545 * [http://research.microsoft.com/en-us/um/people/nick/ppdp02-benton.pdf Relational Semantics for Effect Based Program Transformations]. //Benton, Beringer, Hofmann, Kennedy//, 2009.
    46  * [http://www.kb.ecei.tohoku.ac.jp/~terauchi/papers/icfp05-witness.pdf Witnessing Side Effects]. //Terauchi, Aiken//, 2005.
     46 * [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.
    4747 * [http://portal.acm.org/citation.cfm?id=1481868 A Generic Type and Effect System]. //Marino, Millstein//, 2009.
    4848 * [http://portal.acm.org/citation.cfm?id=1387676 A Capability Calculus for Concurrency and Determinism]. //Terauchi, Aiken//, 2008.
    49  * [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.
    5049 * [http://portal.acm.org/citation.cfm?id=1297060 Multiple Ownership]. //Cameron, Drossopoulou, Noble, Smith//, 2007.
    5150 * [http://portal.acm.org/citation.cfm?id=1111069 Protecting Representation with Effect Encapsulation]. //Lu, Potter//, 2006.
     51 * [http://www.kb.ecei.tohoku.ac.jp/~terauchi/papers/icfp05-witness.pdf Witnessing Side Effects]. //Terauchi, Aiken//, 2005.
    5252
    5353