[TYPES] Existing Work on Function Destructors or Haskell Type Spec?

[matthias at ccs.neu.edu]

> On Mar 20, 2018, at 6:49 AM, Neel Krishnaswami <neelakantan.krishnaswami at gmail.com> wrote:
> 
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> 
> On 19/03/18 13:52, Zachary Palmer wrote:
>> The first is prior work involving typed function destructors other than application.  Cloud Haskell seems close, as the runtime essentially allows a restricted form of transmission of lambdas over a network and that requires the closures to be serialized.   I can't help but think, though, that there's some core theory I'm missing on the topic.  Is anyone familiar with any work of that sort?
> 
> I do not know what a "function destructor" is, but the theoretical
> account of the ability to send functions over the network that is
> closest to what Cloud Haskell is doing is given in Tom Murphy's
> PhD thesis, "Modal Types for Mobile Code”


In the same spirit the work of Heather Miller et al. [1] relevant. It 
explains the Scala support for Apache Spark (no worries, the paper does
contain theoretical material), which sends closures to large sets of 
data in large clusters of computers. 

— Matthias


[1] https://www.cambridge.org/core/journals/journal-of-functional-programming/article/programming-model-and-foundation-for-lineagebased-distributed-computation/B410CE79B21E33462843B408B716E1E5