popl 12 proceedings of the 39th annual acm sigplan-sigact symposium on principles of programming languages (en Inglés)

· acm press