youtube image
From YouTube: Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller


Mark Miller explains how ERTP, the Electronic Rights Transfer
Protocol, supports such rich composition for electronic rights
(erights) and smart contracts. Generic smart contracts --- escrow,
derivatives, auctions, etc --- are independent of the kinds of erights
they manipulate. We reify the ability to participate in each contract
as tradable erights that such generic contracts manipulate. We can
understand the resulting power as an extension of the higher-order
programming of functional and object-oriented programming, but applied
to the richer domain of tradable erights.