A Higher-Order Calculus of Computational Fields