On Mon, Jan 14, 2013 at 5:46 PM, Mark S. Miller <[email protected]> wrote: > At > http://code.google.com/p/es-lab/downloads/detail?name=distr-erights-in-js.pdf > > Paper for invited talk at ESOP2013 http://www.etaps.org/2013/esop13 > Final already submitted, but comments of course appreciated anyway.
Given that the first word of your abstract is "Contracts", it's surprising to me that you don't reference any of the quite extensive literature on software contracts, starting with Bertrand Meyer in the 80s, and continuing with Findler and Felleisen's work on higher-order contracts over the past 10+ years, which has even been implemented for JS by Tim Disney using proxies [1]. Sam [1] http://disnetdev.com/contracts.coffee/ _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
