ACM Symposium on Principles of Programming Languages

GPTKB entity