Type Infeasible Call Chains.

Amie L. Souter, Lori L. Pollock

Browse the full SCAM paper archive.