Universal properties of impure programming languages

Sam Staton, Paul Blain Levy. Universal properties of impure programming languages. In Roberto Giacobazzi, Radhia Cousot, editors, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. pages 179-192, ACM, 2013. [doi]

Authors

Sam Staton

This author has not been identified. Look up 'Sam Staton' in Google

Paul Blain Levy

This author has not been identified. Look up 'Paul Blain Levy' in Google