A higher-order calculus of computational fields