ACM Letters on Programming Languages and Systems