Session details: Semantics of systems

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250011 ◽

2014 ◽

Author(s):

James Cheney

Download Full-text