writing and relations: Towards extensional semantics for effect analyses (2006)

by Reading
Venue:In APLAS