choreographic-programming.github.io/papers_bib.html at gh-pages · choreographic-programming/choreographic-programming.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
<!DOCTYPE html>
<meta charset="utf-8">
<h1>Publications</h1><a name="plyukhin2025relax"></a><pre>
@article{<a href="papers.html#plyukhin2025relax">plyukhin2025relax</a>,
  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}
}
</pre>

<a name="bates2025multichor"></a><pre>
@article{<a href="papers.html#bates2025multichor">bates2025multichor</a>,
  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}
}
</pre>

<a name="plyukhin2024ozone"></a><pre>
@inproceedings{<a href="papers.html#plyukhin2024ozone">plyukhin2024ozone</a>,
  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 2024},
  year = {2024},
  publisher = {Schloss Dagstuhl},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.31},
  keywords = {Choral, Java}
}
</pre>

<a name="shen2023haschor"></a><pre>
@article{<a href="papers.html#shen2023haschor">shen2023haschor</a>,
  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}
}
</pre>

<hr><p><em>This file was generated by
<a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1.99.</em></p>