ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (informationswissenschaftl. Veröffentlichungen)