Mobile Computation with Functions