Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2022 | 2019 | 2018

Number of items: 6.

2022

Marshall, Daniel, Orchard, Dominic A. (2022) How to Take the Inverse of a Type. In: 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)

2019

Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi (2019) A Sound Algorithm for Asynchronous Session Subtyping. In: 30th International Conference on Concurrency Theory (CONCUR 2019), 26-31 Aug 2019, Amsterdam, The Netherlands. (doi:10.4230/LIPIcs.CONCUR.2019.34) (KAR id:75503)

2018

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Xiao, Guohui (2018) Expressivity and Complexity of MongoDB Queries. In: 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria. LIPIcs Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany ISBN 978-3-95977-063-7. (doi:10.4230/LIPIcs.ICDT.2018.9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91266)

Bartoletti, Massimo, Bocchi, Laura, Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: LIPIcs–Leibniz International Proceedings in Informatics. Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken, Germany ISBN 978-3-95977-087-3. (doi:10.4230/LIPIcs.CONCUR.2018.40) (KAR id:67556)

Grigore, Radu, Kiefer, Stefan (2018) Selective Monitoring. In: 29th International Conference on Concurrency Theory (CONCUR 2018), 4--7 September 2018, Beijing, China, 4--7 September 2018, Beijing, China. (doi:10.4230/LIPIcs.CONCUR.2018.20) (KAR id:67553)

Cohen, Liron, Rowe, Reuben (2018) Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. In: Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018. LIPICS (doi:10.4230/LIPIcs.CSL.2018.16) (KAR id:67460)

This list was generated on Tue Apr 21 00:18:50 2026 BST.