Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Publisher

[up] Up a level
Group by: Item Type | Date | No Grouping
Number of items: 3.
Castro-Perez, David, Yoshida, Nobuko (2023) Dynamically Updatable Multiparty Session Protocols. In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs) , 263. Dagstuhl, Saarbrücken ISBN 978-3-95977-281-5. (doi:10.4230/LIPIcs.ECOOP.2023.6) (KAR id:100746)
Format: PDF
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)
Format: PDF
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)
Format: PDF
This list was generated on Tue Nov 12 01:33:26 2024 GMT.
SensusAccess
Feedback