Changes between Version 121 and Version 122 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v121 v122  
    6565 * Ask in the #disciplined channel on the [http://freenode.net freenode IRC network].
    6666
    67 == Further Reading ==
     67[[br]][[br]]
     68= Further Reading =
    6869 * [http://www.cse.unsw.edu.au/~benl/ Ben's academic webpage]
    6970 * [http://www.cse.unsw.edu.au/~benl/papers/witness/witnessing-jfp-sub.pdf Witnessing Mutability, Purity and Aliasing for Program Optimisation], submitted to JFP 2010
     
    9192 * [http://portal.acm.org/citation.cfm?id=1481868 A Generic Type and Effect System]. //Marino, Millstein//, 2009.
    9293 * [http://portal.acm.org/citation.cfm?id=1387676 A Capability Calculus for Concurrency and Determinism]. //Terauchi, Aiken//, 2008.
    93  * [http://portal.acm.org/citation.cfm?id=1111069 Protecting representation with effect encapsulation]. //Lu, Potter//, 2006.
     94 * [http://portal.acm.org/citation.cfm?id=1111069 Protecting Representation with Effect Encapsulation]. //Lu, Potter//, 2006.
    9495 * [http://portal.acm.org/citation.cfm?id=1040329 Connecting Effects and Uniqueness with Adoption]. //Boyland, Retert//, 2005.
    9596