Text ( visual ) : unmediated POPL'12 : proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 25-27, 2012, Philadelphia, PA, USA / sponsored by ACM SIGPLAN in cooperation with ACM SIGACT. -- New York, N.Y. : Association for Computing Machinery , c2012. -- xvi, 585 p. : ill. ; 28 cm. -- (SIGPLAN notices ; v. 47, no. 1, Jan. 2012). -- Includes bibliographical references and author index ; "supported by Microsoft Research, ARM, Committee on the Status of Women in Computing Research, The Coalition to Diversify Computing, Intel, Jane Street Capital, Mozilla, Oracle Labs, National Science Foundation, Google, IBM Research, Amgen, & NEC" ; ACM order number: 549121. -- (BB08752419) ; https://ci.nii.ac.jp/ncid/BB08752419 Other Title(s): POPL 2012 ; POPL2012 ; POPL 12 ; Proceedings of the 39th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12). -- Author Heading(s): ACM Symposium on Principles of Programming Languages ; ACM Special Interest Group in Programming Languages ; ACM Special Interest Group on Algorithms and Computation Theory