David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini. stg-tud/ainf-compiling-with-arrays (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@misc{dagstuhl-artifact-22453, title = {{stg-tud/ainf-compiling-with-arrays}}, author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:8e0e755d11e4e3e91fb05bf8df1a5c8bec0f553a;origin=https://github.com/stg-tud/ainf-compiling-with-arrays;visit=swh:1:snp:e92b86a1a72b7e96bb4c6207f6d6a157de14195f;anchor=swh:1:rev:a8a88bca53396f58df5ae5d1da0755f1b02b01b8}{\texttt{swh:1:dir:8e0e755d11e4e3e91fb05bf8df1a5c8bec0f553a}} (visited on 2024-11-28)}, url = {https://github.com/stg-tud/ainf-compiling-with-arrays}, doi = {10.4230/artifacts.22453}, }
Published in: LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)
David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini. Compiling with Arrays. In 38th European Conference on Object-Oriented Programming (ECOOP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 313, pp. 33:1-33:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{richter_et_al:LIPIcs.ECOOP.2024.33, author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, title = {{Compiling with Arrays}}, booktitle = {38th European Conference on Object-Oriented Programming (ECOOP 2024)}, pages = {33:1--33:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-341-6}, ISSN = {1868-8969}, year = {2024}, volume = {313}, editor = {Aldrich, Jonathan and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.33}, URN = {urn:nbn:de:0030-drops-208823}, doi = {10.4230/LIPIcs.ECOOP.2024.33}, annote = {Keywords: array languages, functional programming, domain-specific languages, normalization by evaluation, common subexpression elimination, polarity, positive function type, intrinsic types} }
Published in: DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)
David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini. Compiling with Arrays (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 18:1-18:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{richter_et_al:DARTS.10.2.18, author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, title = {{Compiling with Arrays (Artifact)}}, pages = {18:1--18:7}, journal = {Dagstuhl Artifacts Series}, ISBN = {978-3-95977-342-3}, ISSN = {2509-8195}, year = {2024}, volume = {10}, number = {2}, editor = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.18}, URN = {urn:nbn:de:0030-drops-209168}, doi = {10.4230/DARTS.10.2.18}, annote = {Keywords: array languages, functional programming, domain-specific languages, normalization by evaluation, common subexpression elimination, polarity, positive function type, intrinsic types} }
Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini. A Direct-Style Effect Notation for Sequential and Parallel Programs. In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 25:1-25:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{richter_et_al:LIPIcs.ECOOP.2023.25, author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, title = {{A Direct-Style Effect Notation for Sequential and Parallel Programs}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {25:1--25:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.25}, URN = {urn:nbn:de:0030-drops-182181}, doi = {10.4230/LIPIcs.ECOOP.2023.25}, annote = {Keywords: do-notation, parallelism, concurrency, effects} }
Published in: DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini. A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 17:1-17:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{richter_et_al:DARTS.9.2.17, author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, title = {{A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)}}, pages = {17:1--17:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17}, URN = {urn:nbn:de:0030-drops-182573}, doi = {10.4230/DARTS.9.2.17}, annote = {Keywords: do-notation, parallelism, concurrency, effects} }
Published in: DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, and Mira Mezini. Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 16:1-16:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{richter_et_al:DARTS.8.2.16, author = {Richter, David and Kretzler, David and Weisenburger, Pascal and Salvaneschi, Guido and Faust, Sebastian and Mezini, Mira}, title = {{Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact)}}, pages = {16:1--16:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {2}, editor = {Richter, David and Kretzler, David and Weisenburger, Pascal and Salvaneschi, Guido and Faust, Sebastian and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.16}, URN = {urn:nbn:de:0030-drops-162149}, doi = {10.4230/DARTS.8.2.16}, annote = {Keywords: Domain Specific Languages, Smart Contracts, Scala} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, and Mira Mezini. Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 35:1-35:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{richter_et_al:LIPIcs.ECOOP.2022.35, author = {Richter, David and Kretzler, David and Weisenburger, Pascal and Salvaneschi, Guido and Faust, Sebastian and Mezini, Mira}, title = {{Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {35:1--35:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.35}, URN = {urn:nbn:de:0030-drops-162632}, doi = {10.4230/LIPIcs.ECOOP.2022.35}, annote = {Keywords: Domain Specific Languages, Smart Contracts, Scala} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, and Pascal Weisenburger. Multiparty Languages: The Choreographic and Multitier Cases (Pearl). In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 22:1-22:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{giallorenzo_et_al:LIPIcs.ECOOP.2021.22, author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Richter, David and Salvaneschi, Guido and Weisenburger, Pascal}, title = {{Multiparty Languages: The Choreographic and Multitier Cases}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {22:1--22:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.22}, URN = {urn:nbn:de:0030-drops-140658}, doi = {10.4230/LIPIcs.ECOOP.2021.22}, annote = {Keywords: Distributed Programming, Choreographies, Multitier Languages} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Pascal Weisenburger and Guido Salvaneschi. Multitier Modules. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 3:1-3:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{weisenburger_et_al:LIPIcs.ECOOP.2019.3, author = {Weisenburger, Pascal and Salvaneschi, Guido}, title = {{Multitier Modules}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {3:1--3:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.3}, URN = {urn:nbn:de:0030-drops-107957}, doi = {10.4230/LIPIcs.ECOOP.2019.3}, annote = {Keywords: Distributed Programming, Multitier Programming, Abstract Peer Types, Placement Types, Module Systems, Scala} }
Feedback for Dagstuhl Publishing