Browse by Publisher

Group by: Item Type | Date | No Grouping

2023 2022 2020

Number of items: 3.

2023

Castro-Perez, David, Yoshida, Nobuko (2023) Dynamically Updatable Multiparty Session Protocols. In: European Conference on Object-Oriented Programming. . Dagstuhl, Saarbrücken (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:100746)

2022

Marshall, Daniel, Orchard, Dominic A. (2022) How to Take the Inverse of a Type. In: Leibniz International Proceedings in Informatics. Proceedings of 36th European Conference on Object-Oriented Programming (ECOOP 2022). . Dagstuhl ISBN 978-3-95977-225-9. (doi:10.4230/LIPIcs.ECOOP.2022.5) (KAR id:98022)

2020

Ivašković, Andrej, Mycroft, Alan, Orchard, Dominic (2020) Data-flow analyses as effects and graded monads. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 167 . (doi:10.4230/LIPIcs.FSCD.2020.15) (KAR id:81880)

This list was generated on Sun Jun 4 02:22:53 2023 BST.