[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