Login / Signup
Federico Poli
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Qualitative Reasoning
Computational Power
Top Venues
CoRR
</>
Publications
</>
Federico Poli
,
Xavier Denis
,
Peter Müller
,
Alexander J. Summers
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities.
CoRR
(2024)