Type-preserving CPS translation of Sigma and Pi types is not not possible (bibtex)
by William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
Reference:
Type-preserving CPS translation of Sigma and Pi types is not not possible (William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed), In PACMPL, volume 2, 2018.
Bibtex Entry:
@article{DBLP:journals/pacmpl/BowmanCRA18,
  author    = {William J. Bowman and
               Youyou Cong and
               Nick Rioux and
               Amal Ahmed},
  title     = {Type-preserving {CPS} translation of Sigma and Pi types
               is not not possible},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {22:1--22:33},
  year      = {2018},
  ee        = {https://doi.org/10.1145/3158110},
  doi       = {10.1145/3158110},
  timestamp = {Tue, 06 Nov 2018 12:51:05 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/BowmanCRA18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url = {https://www.williamjbowman.com/resources/cps-sigma.pdf},
}
Powered by bibtexbrowser