Title: Programming languages and abstraction