BibTeX record conf/pepm/FukaishiKS24

download as .bib file

@inproceedings{DBLP:conf/pepm/FukaishiKS24,
  author       = {Ren Fukaishi and
                  Naoki Kobayashi and
                  Ryosuke Sato},
  editor       = {Gabriele Keller and
                  Meng Wang},
  title        = {Productivity Verification for Functional Programs by Reduction to
                  Termination Verification},
  booktitle    = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2024, London,
                  UK, 16 January 2024},
  pages        = {70--82},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3635800.3636963},
  doi          = {10.1145/3635800.3636963},
  timestamp    = {Thu, 18 Jan 2024 12:02:09 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/FukaishiKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.