Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 3.
2025
| 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), 30 June - 04 July 2025, Bergen, Norway. (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) Schloss Dagstuhl – Leibniz-Zentrum für Informatik ISBN 978-3-95977-373-7. (doi:10.4230/LIPIcs.ECOOP.2025.38) (KAR id:110455) |
|
2022
| Kanabar, Hrutvik, Fox, Anthony C. J., Myreen, Magnus O. (2022) Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification. In: 13th International Conference on Interactive Theorem Proving (ITP 2022). Schloss Dagstuhl – Leibniz-Zentrum für Informatik ISBN 978-3-95977-252-5. (doi:10.4230/LIPIcs.ITP.2022.20) (KAR id:102663) |
|
