Reminds me of "multitier" programming, which is more focussed on a client/server split, but otherwise a similar idea. See for example http://hop.inria.fr/home/i

Reminds me of "multitier" programming, which is more focussed on a client/server split, but otherwise a similar idea. See for example http://hop.inria.fr/home/index.html http://hop.inria.fr/home/index.html and the extensive research literature, perhaps starting from http://queue.acm.org/detail.cfm?id=2330089 http://queue.acm.org/detail.cfm?id=2330089 or https://www-sop.inria.fr/members/Manuel.Serrano/index-6.html https://www-sop.inria.fr/members/Manuel.Serrano/index-6.html