[PRL] Type question...

Riccardo Pucella riccardo at ccs.neu.edu
Mon Oct 8 20:37:03 EDT 2007


----- "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




More information about the PRL mailing list