Changes between Version 11 and Version 12 of Language/Overview

Show
Ignore:
Timestamp:
06/17/10 03:53:42 (3 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/Overview

    v11 v12  
    1414 * The [wiki:Language/Overview/ClassSystem ClassSystem] ensures that effects and destructive update play nicely with laziness. 
    1515 * [wiki:Language/Overview/ClosureTyping ClosureTyping] is used to track data sharing, and to preserve soundness in the presence of [wiki:Language/Overview/PolymorphicUpdate PolymorphicUpdate]. 
     16 
     17For discussion of the motivations of Disciple and DDC, please see the first chapter of: [http://www.cse.unsw.edu.au/~benl/papers/thesis/lippmeier-impure-world.pdf Type Inference and Optimisation for an Impure World]