3 ms·
> series of data-flow analyses Screems highly non-compositional to me. No thanks if so, I'll stick with good old types and proofs.
by Ericson2314 7y ago
> series of data-flow analyses
Screems highly non-compositional to me. No thanks if so, I'll stick with good old types and proofs.