Stem potenc$ (all stems)
2 papers:
- SAS-2012-GiacobazziM #abstract interpretation #modelling #obfuscation
- Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation (RG, IM), pp. 129–145.
- ICFP-2004-NeergaardM #type system #why
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work (PMN, HGM), pp. 138–149.