Popl 2014 - 41st ACM Sigplan Sigact Symposium on Principles of Programming Languages - Popl 14 Conference Editors - pocketbok(9781450325448)