Title: POPL 12 Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Subjects: Programming languages (electronic computers), Computer programming