Published in: Dagstuhl Reports, Volume 11, Issue 8 (2022)
Mariangiola Dezani, Roland Kuhn, Sam Lindley, and Alceste Scalas. Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). In Dagstuhl Reports, Volume 11, Issue 8, pp. 52-75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@Article{dezani_et_al:DagRep.11.8.52, author = {Dezani, Mariangiola and Kuhn, Roland and Lindley, Sam and Scalas, Alceste}, title = {{Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)}}, pages = {52--75}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {11}, number = {8}, editor = {Dezani, Mariangiola and Kuhn, Roland and Lindley, Sam and Scalas, Alceste}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.8.52}, URN = {urn:nbn:de:0030-drops-157699}, doi = {10.4230/DagRep.11.8.52}, annote = {Keywords: behavioural types, concurrency, programming languages, session types} }
Published in: OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)
Mariangiola Dezani-Ciancaglini, Paola Giannini, and Betti Venneri. Deconfined Intersection Types in Java. In Recent Developments in the Design and Implementation of Programming Languages. Open Access Series in Informatics (OASIcs), Volume 86, pp. 3:1-3:25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{dezaniciancaglini_et_al:OASIcs.Gabbrielli.3, author = {Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Venneri, Betti}, title = {{Deconfined Intersection Types in Java}}, booktitle = {Recent Developments in the Design and Implementation of Programming Languages}, pages = {3:1--3:25}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-171-9}, ISSN = {2190-6807}, year = {2020}, volume = {86}, editor = {de Boer, Frank S. and Mauro, Jacopo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.3}, URN = {urn:nbn:de:0030-drops-132256}, doi = {10.4230/OASIcs.Gabbrielli.3}, annote = {Keywords: Intersection Types, Featherweight Java, Lambda Expressions} }
Published in: LIPIcs, Volume 171, 31st International Conference on Concurrency Theory (CONCUR 2020)
Ross Horne. Session Subtyping and Multiparty Compatibility Using Circular Sequents. In 31st International Conference on Concurrency Theory (CONCUR 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 171, pp. 12:1-12:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{horne:LIPIcs.CONCUR.2020.12, author = {Horne, Ross}, title = {{Session Subtyping and Multiparty Compatibility Using Circular Sequents}}, booktitle = {31st International Conference on Concurrency Theory (CONCUR 2020)}, pages = {12:1--12:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-160-3}, ISSN = {1868-8969}, year = {2020}, volume = {171}, editor = {Konnov, Igor and Kov\'{a}cs, Laura}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.12}, URN = {urn:nbn:de:0030-drops-128245}, doi = {10.4230/LIPIcs.CONCUR.2020.12}, annote = {Keywords: session types, subtyping, compatibility, linear logic, deadlock freedom} }
Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Paola Giannini. Concurrent Reversible Sessions. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 30:1-30:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
@InProceedings{castellani_et_al:LIPIcs.CONCUR.2017.30, author = {Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Giannini, Paola}, title = {{Concurrent Reversible Sessions}}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, pages = {30:1--30:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, year = {2017}, volume = {85}, editor = {Meyer, Roland and Nestmann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.30}, URN = {urn:nbn:de:0030-drops-77877}, doi = {10.4230/LIPIcs.CONCUR.2017.30}, annote = {Keywords: Communication-centric Systems, Reversible Computation, Process Calculi, Multiparty Session Types} }
Published in: LIPIcs, Volume 26, 19th International Conference on Types for Proofs and Programs (TYPES 2013)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, and Maddalena Zacchi. Isomorphism of "Functional" Intersection Types. In 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 26, pp. 129-149, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)
@InProceedings{coppo_et_al:LIPIcs.TYPES.2013.129, author = {Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Margaria, Ines and Zacchi, Maddalena}, title = {{Isomorphism of "Functional" Intersection Types}}, booktitle = {19th International Conference on Types for Proofs and Programs (TYPES 2013)}, pages = {129--149}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-72-9}, ISSN = {1868-8969}, year = {2014}, volume = {26}, editor = {Matthes, Ralph and Schubert, Aleksy}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.129}, URN = {urn:nbn:de:0030-drops-46296}, doi = {10.4230/LIPIcs.TYPES.2013.129}, annote = {Keywords: Type Isomorphism, Lambda calculus, Intersection Types} }
Feedback for Dagstuhl Publishing