Higher-order Distributed Objects | AMiner