Universal properties of impure programming languages
Sam Staton and Paul Blain Levy
Book Title
The 40th Annual ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL '13‚ Rome‚ Italy − January 23 − 25‚ 2013
Editor
Roberto Giacobazzi and Radhia Cousot
Pages
179–192
Publisher
ACM
Year
2013