52 citations · 73 across the 4 of their papers we have counts for
1 paper · 1 filter
Martin Abadi, Gordon Plotkin
Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices sho…