Browse by Publisher

Group by: Item Type | Date | No Grouping

Number of items: 3.

Hughes, Jack Dylan, Vollmer, Michael, Batty, Mark (2025) Spegion: Implicit and non-lexical regions with sized allocations. In: 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs) , 333. Schloss Dagstuhl – Leibniz-Zentrum für Informatik ISBN 978-3-95977-373-7. (doi:10.4230/LIPIcs.ECOOP.2025.15) (KAR id:110458)

Jamet, Arthur, Vollmer, Michael (2025) Type-Safe and Portable Support for Packed Data. In: 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs) , 333. 38:1-38:19. Schloss Dagstuhl – Leibniz-Zentrum für Informatik ISBN 978-3-95977-373-7. (doi:10.4230/LIPIcs.ECOOP.2025.38) (KAR id:110455)

Kanabar, Hrutvik, Fox, Anthony C. J., Myreen, Magnus O. (2022) Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification. In: Leibniz International Proceedings in Informatics (LIPIcs). 13th International Conference on Interactive Theorem Proving (ITP 2022). 237. 20:1-20:22. Schloss Dagstuhl – Leibniz-Zentrum für Informatik ISBN 978-3-95977-252-5. (doi:10.4230/LIPIcs.ITP.2022.20) (KAR id:102663)

This list was generated on Fri Jul 18 02:20:25 2025 BST.