A type-sound calculus of computational fields