Publications

@article{plyukhin2025relax,
  author = {Dan Plyukhin and Xueying Qin and Fabrizio Montesi},
  title = {{Relax! The} Semilenient Core of Choreographic Programming (Functional Pearl)},
  article = {269},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {9},
  number = {{ICFP}},
  year = {2025},
  month = aug,
  pages = {269:1--269:27},
  doi = {10.1145/3747538},
  url = {https://doi.org/10.1145/3747538},
  publisher = {{ACM}},
  keywords = {higher-order, introduction}
}

@article{bates2025multichor,
  author = {Bates, Mako and Kashiwa, Shun and Jafri, Syed and Shen, Gan and Kuper, Lindsey and Near, Joseph P.},
  doi = {10.1145/3729296},
  title = {Efficient, Portable, Census-Polymorphic Choreographic Programming},
  year = {2025},
  issue_date = {June 2025},
  publisher = {ACM},
  volume = {9},
  number = {PLDI},
  url = {https://doi.org/10.1145/3729296},
  journal = {Proc. ACM Program. Lang.},
  month = jun,
  articleno = {193},
  numpages = {24},
  keywords = {library-level, Haskell, Rust, TypeScript}
}

@inproceedings{plyukhin2024ozone,
  author = {Plyukhin, Dan and Peressotti, Marco and Montesi, Fabrizio},
  doi = {10.4230/LIPICS.ECOOP.2024.31},
  title = {Ozone: Fully Out-of-Order Choreographies},
  booktitle = {38th European Conference on Object-Oriented Programming},
  pages = {31:1--31:28},
  series = {ECOOP 2025},
  year = {2024},
  publisher = {Schloss Dagstuhl},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.31},
  keywords = {Choral, Java}
}

@article{shen2023haschor,
  author = {Shen, Gan and Kashiwa, Shun and Kuper, Lindsey},
  doi = {10.1145/3607849},
  title = {{HasChor}: Functional Choreographic Programming for All (Functional Pearl)},
  year = {2023},
  issue_date = {August 2023},
  publisher = {ACM},
  volume = {7},
  number = {ICFP},
  url = {https://doi.org/10.1145/3607849},
  journal = {Proc. ACM Program. Lang.},
  month = aug,
  articleno = {207},
  numpages = {25},
  keywords = {library-level, Haskell, introduction}
}

This file was generated by bibtex2html 1.99.