Commit Graph

4 Commits

Author SHA1 Message Date
Herb Sutter
9aa9f290e2 Added Intro to type/resource safety paper 2015-10-07 07:13:19 -07:00
Gabriel Dos Reis
f3780fa74b Formal account of the soundness of RAII for local objects 2015-10-02 04:24:47 -07:00
Herb Sutter
cda8d7ad5c Added more explanation to Example 5.2 and fixed a typo 2015-09-29 10:54:03 -07:00
Herb Sutter
09aef9bd86 Added current draft of Lifetimes I and II paper 2015-09-22 08:01:41 -07:00