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{bowman18:cps,
  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}},
  year      = {2018},
  month = jan,
  url = {https://www.williamjbowman.com/resources/cps-sigma.pdf},
}
Powered by bibtexbrowser