in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, ISSN: 0730-8566
Pages: 299-312
Conference
37Th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages, Popl'10, Date: 17 January 2010 through 23 January 2010, Location: Madrid, Sponsors: ACM SIGPLAN