In the past (http://akkartik.name/post/libraries) I've tried to distinguish between giving things a name to avoid having to work through details over and over again, and relying on something built by others so one never has to think about the details. But this has been a difficult point to communicate. I usually try to avoid the term 'abstraction' because it's gotten so debased. But here for an academic audience I go with the grain of how people use the word.
