ACM SIGPLAN Notices