Changes between Version 91 and Version 92 of WikiStart

Show
Ignore:
Timestamp:
10/02/10 21:40:12 (4 years ago)
Author:
batterseapower (IP: 74.93.203.94)
Comment:

Add info about Ben's latest work

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v91 v92  
    6161 
    6262== Further Reading == 
     63 * [http://www.cse.unsw.edu.au/~benl/ Ben's academic webpage] 
     64 * [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 
    6365 * [http://www.cse.unsw.edu.au/~benl/papers/thesis/lippmeier-impure-world.pdf Type Inference and Optimisation for an Impure World], ANU 2010 (PhD thesis) 
    6466 * [http://www.cse.unsw.edu.au/~benl/papers/witness/witnessing-purity-constancy-and-mutability-v1-1.pdf Witnessing Purity, Constancy and Mutability], [http://www.cse.unsw.edu.au/~benl/talks/witnessing-aplas-20091214.pdf slides], APLAS 2009