Function Passing: A Model for Typed, Distributed Functional Programming [pdf]
infoscience.epfl.ch