Title: PLDI 12 Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation
Subjects: Programming languages (electronic computers)