> I sent this next in email to Scott, but Luca Cardelli wrote a paper > describing a language with distributed higher order functions: > > Obliq: A language with distributed scope. > http://www.luca.demon.co.uk/Papers.html#ObliqPaper He did more than write a paper: Obliq was actually implemented but the Obliq home page at DEC Research seems to be dead... -- O.L.