Number of items: 2.
El-Korashy, Akram and Tsampas, Stelios and Patrignani, Marco and Devriese, Dominique and Garg, Deepak and Piessens, Frank
(2021)
CapablePtrs: Securely Compiling Partial Programs
Using the Pointers-as-Capabilities Principle.
Devriese, Dominique and Patrignani, Marco and Piessens, Frank
(2017)
Parametricity Versus the Universal Type.
This list was generated on Fri Sep 13 13:08:46 2024 CEST.