[PRL] Type question...

[Matthias Felleisen]

Thanks I am aware of the flow=types research. It was relevant for our  
soft-typing stuff at the time. -- Matthias


On Oct 8, 2007, at 9:27 PM, Mitchell Wand wrote:

> There's a bunch of work like this around.  Jens Palsberg did something
> similar in the early 90's.
>
> The immediate question is:  what's going on in these papers?  They say
> they are about typing for Erlang, but it looked to me (on a cursory
> look at the first paper) that they are about something else-- the
> soundness conditions are radically different.
>
> Practical Type Inference Based on Success Typings
> http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf
> see also http://lambda-the-ultimate.org/node/1910
>
> A Language for Specifying Type Contracts in Erlang and its Interaction
> with Success Typings
> Erlang Workshop 2007; full text at:
> http://portal.acm.org/ft_gateway.cfm? 
> id=1292523&type=pdf&coll=ACM&dl=ACM&CFID=15151515&CFTOKEN=6184618
>
> See also
> http://www.softlab.ece.ntua.gr/Seminar/presentations/sagonas.pdf
>
> Actually, Sagonas's work on "High Performance Erlang" looks
> interesting in general-- check out his pubs page at
> http://www.it.uu.se/research/group/hipe/publications.shtml .
>
> --Mitch
>
>
>
> On 10/8/07, Riccardo Pucella <riccardo at ccs.neu.edu> wrote:
>>
>> ----- "Matthias Felleisen" <matthias at ccs.neu.edu> wrote:
>>
>>>
>>> We definitely need to check this out, because our upcoming POPL  
>>> paper
>>>
>>> on Typed Scheme is also using flow-oriented reasoning to supplement
>>> the logic of (union, sub, poly) types. Any pointers? -- Matthias
>>
>> Not sure if this is relevant, but Nevin Heintze a decade or so ago  
>> had some work relating type systems and flow analyses. I don't  
>> recall the details though. I don't have a reference handy, but can  
>> look it up once I'm back in the office.
>>
>>  Cheers,
>>  R
>>
>>
>> _______________________________________________
>> PRL mailing list
>> PRL at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/prl
>>
>>