Stateful manifest contracts.

Taro Sekiyama Atsushi Igarashi

Published in: POPL (2017)

Keyphrases

supply chain
publish subscribe
search algorithm
adverse selection
database
real time
special case