Journal: SIGPLAN Notices