samth at ccs.neu.edu
Mon Jan 14 14:57:08 PST 2013
On Mon, Jan 14, 2013 at 5:46 PM, Mark S. Miller <erights at google.com> 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 .
More information about the es-discuss