New paper: "Distributed Electronic Rights in JavaScript"

Sam Tobin-Hochstadt samth at
Mon Jan 14 14:57:08 PST 2013

On Mon, Jan 14, 2013 at 5:46 PM, Mark S. Miller <erights at> wrote:
> At
> Paper for invited talk at ESOP2013
> 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].



More information about the es-discuss mailing list