I think summingbird and scalding introduced, for me, the notion of having functional types that make it easier to combine things together for distributed comput

I think summingbird and scalding introduced, for me, the notion of having functional types that make it easier to combine things together for distributed computing/big data. I've never read that paper before, it's really good. I like how the author's objective is to formalize map-side aggregations. But I'm wondering if that's a natural extension of map-reduce itself? ie. don't move data if it's not required given that's the constraint? Do you have more of such papers handy?