Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

  • Giuseppe Castagna ,
  • Andy Gordon

Download BibTex

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)