"Function Passing Style: Typed, Distributed Functional Programming" by Heather Miller