Publikationer pr. år
Publikationer pr. år
Publikation
- 2 Tidsskriftartikel
- 2 resultater
Søgeresultater
-
2024
The Essence of Generalized Algebraic Data Types
Sieczkowski, F., Stepanenko, S., Sterling, J. & Birkedal, L., jan. 2024, I: Proceedings of the ACM on Programming Languages . 8, POPL, s. 695-723 29 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
2023
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L., jun. 2023, I: Proceedings of the ACM on Programming Languages . 7, s. 1438-1462Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang