Stem monomorph$ (all stems)
3 papers:
- TACAS-2013-BlanchetteBPS #encoding #polymorphism
- Encoding Monomorphic and Polymorphic Types (JCB, SB, AP, NS), pp. 493–507.
- LOPSTR-2008-SchrijversBG #polymorphism
- From Monomorphic to Polymorphic Well-Typings and Beyond (TS, MB, JPG), pp. 152–167.
- SAS-2000-FosterFA #analysis #c #points-to #polymorphism
- Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C (JSF, MF, AA), pp. 175–198.