Proceedings of the 13th Annual Symposium on Principles of Programming Languages

GPTKB entity