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

  • Giuseppe Castagna ,
  • Andy Gordon

下载 BibTex

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