Describir: ACM transactions on programming languages and systems